TypeScriptの代数的部分型模型

本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。

[shunkeen]

数学的構造をメンタルモデルに使うのが良き。何が証明できるか（応用志向）よりも、いかに脳に楽をさせて推論できるか（理解志向）を意識していそうで素晴らしい。楽をするために数理的解釈を選び取ればいい。

[murashit]

適切な図をつかうとわかりやすいことの好例だ

[hase0510]

派生型を部分集合だと考えると基底型の方ができることが多そうな気がするけど実際には逆で、でも基底型がunion型の場合はその通りな気がしたりして、混乱する。