はてなブックマーク

はじめに 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