エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
[WIP]ErgでPythonの資産が少し使えるようになった - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
[WIP]ErgでPythonの資産が少し使えるようになった - Qiita
はじめに Erg言語で一部の外部ライブラリが使えるようになった 具体的には以下の通りである matplotlib ... はじめに Erg言語で一部の外部ライブラリが使えるようになった 具体的には以下の通りである matplotlib numpy pandas requests setuptools tqdm urllib3 完全には型付け完了していないため、一部の機能には限定されてはいるがこれらライブラリを使えるようになっている 例えばNumpyだとこのように型付けがされている # TODO: dependent (static shaped) .NDArray = 'ndarray': (T: Type) -> ClassType .NDArray(T) <: Output T .NDArray(_) <: Num .NDArray. shape: [Nat; _] ndim: Nat dtype: Type size: Nat .abs: |T|(object: .NDArray(T),) -> .ND