TypeScriptの型でType Level Domain Modeling

疑問点、あとで質問する箇所用の型を定義しておけば良い

code:ts

type Undefined = never

newtypeをどうするか

ほぼ同じものだけど

あとはio-ts使うなどの選択肢もある

TSの渋いところ

newtypeにハックが必要

カリー化がデフォルトではない

関数型の引数に名前を付けないといけない