Python

PythonとNewType

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

19th June 2021

FP fp-ts

fp-tsとoption

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

https://gcanti.github.io/fp-ts/modules/Option.ts.html

10th June 2021

FP fp-ts TypeScript

TypeScriptとHigher Kinded Type(高階型)

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

型システムによってデータ型を抽象化するときに利用する型の一つにHigher Kinded Type（高階型）がある。
tsでは高階型は直接サポートされていないがそれをエンコードすることはできる。

この記事では高階型とはそもそも何なのか、それをTypeScriptでどの様に実現するかを説明する。

7th June 2021

ZIO

ZStream companion object API

zioの非同期streamコンポーネントであるZStreamのコンパニオンオブジェクトのAPI集。

1st June 2021

FP fp-ts

fp-tsとMonoid

単位元付きの二項演算を司る型クラスMonoidを紹介。

https://gcanti.github.io/fp-ts/modules/Monoid.ts.html

31st May 2021

FP fp-ts

fp-tsとOrd

順番を司る型クラスOrdの紹介。

https://gcanti.github.io/fp-ts/modules/Ord.ts.html

31st May 2021

FP fp-ts

fp-tsとEq

値の等値性を司る型クラスEqの紹介。

https://gcanti.github.io/fp-ts/modules/Eq.ts.html

30th May 2021

FP fp-ts TypeScript

fp-tsとSemigroup

TypeScriptの関数型ライブラリのfp-tsには型クラスとしてSemigroupがいる。
その紹介。

https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html

29th May 2021

FP TypeScript

TypeScriptと型クラス

HaskellやScalaなどの関数型言語の特徴として型クラスというものがある。
これは関数型における強力な道具の一つであり、そして何もHaskellやScalaなどの特権機構ではない。
サポートの大小はあれど他の言語でも実現できる。
そして最近ではRustやGoが型クラスに似たような思想のセマンティクスを採用していることからもわかるように非常に便利である。

この記事では型クラスの概念を理解し、それをTypeScriptで(最低限)どの様に実現することができるか説明する。