fp-tsとoption
fp-tsには値が存在するかどうかをデータ型として表現したOptionというものが存在する。 その紹介。 https://gcanti.github.io/fp-ts/modules/Option.ts.html コード例について コード例...
fp-ts
TypeScriptとHigher Kinded Type(高階型)
関数型はデータ型というものを非常に重視する。 データ型によって値をモデリングし、どういった性質のデータなのかを表現する。 更に型システムと組み合わせることでデータ型はさらなる力を得る。 型システムによってデータ型を抽象化するときに利用する型...
fp-tsとMonoid
単位元付きの二項演算を司る型クラスMonoidを紹介。 https://gcanti.github.io/fp-ts/modules/Monoid.ts.html 定義 定義を見ると分かる通り、すべてのMonoidはSemigroupである...
fp-tsとOrd
順番を司る型クラスOrdの紹介。 https://gcanti.github.io/fp-ts/modules/Ord.ts.html 定義 compareという比較用の関数が一つだけ生えている。 compareが返すOrderingは比較...
fp-tsとEq
値の等値性を司る型クラスEqの紹介。 https://gcanti.github.io/fp-ts/modules/Eq.ts.html 定義 equalsという等値判断関数がいるだけ。 law Eqが満たすべきlawは３つある。 反射律:...
fp-tsとSemigroup
TypeScriptの関数型ライブラリのfp-tsには型クラスとしてSemigroupがいる。 その紹介。 https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html Semigroup...