Python

PythonとNewType

限りなくゼロコストで型による値の確からしさを保証するためのテクニックにNewTypeがある。
その紹介。

Python

pyrightの使い方

Pythonのtype checkツールpyrightの使い方

Python

Pythonでtype hintつけるときのテクニック

Python

型安全なpythonのDictを実現

Python

幽霊型というちょっと高度なテクニックをpythonでも

Python

pythonでたまに見る…とかいうわけわからんもの

Python

Posted by

限りなくゼロコストで型による値の確からしさを保証するためのテクニックにNewTypeがある。その紹介。

Posted by

fp-tsには値が存在するかどうかをデータ型として表現したOptionというものが存在する。 その紹介。  <!-- wp:paragraph...

Posted by

関数型はデータ型というものを非常に重視する。 データ型によって値をモデリングし、どういった性質のデータなのかを表現する。 更に型システムと組み合わせることでデータ型はさらなる力を得る。...