関数型プログラミングをTSで実践する
というニーズは高まっていると思われる
関数型ドメインモデリング(domain modeling made functional)も日本語訳された
TSユーザは多い
関数型プログラミングの成分が強い言語
Haskell
F#
scala
...
これらと比べて、TSのユーザは多いのでは？知らんけど
TSでResult型とかやりたいときのライブラリ調査
代数的データ型→素朴に型を定め、typeなどの識別子のプロパティなどをいれる
構造的部分型であるゆえの某
幽霊型、branded type