These Walls

Docker

1 Articles

Docker

[書評]Docker/Kubernetes 実践コンテナ開発入門

dockerとkubernetesの本

Python

PythonとNewType

Posted by

kazchimo on 19th Jun '21

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

FP

fp-tsとoption

Posted by

kazchimo on 19th Jun '21

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

FP

TypeScriptとHigher Kinded Type(高階型)

Posted by

kazchimo on 10th Jun '21

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

Continue Reading