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

TypeScriptの代数的部分型模型

はじめに

型のメンタルモデル

代数的構造と代数法則

部分型関係の概念

順序理論による模型

集合論による模型

束論による模型(1)

束論による模型(2)

環論による模型

圏論による模型

参考文献

読者コミュニティ｜TypeScriptの代数的部分型模型

zenn-public-repo

typescript

型システム

部分型

代数的構造

PADAone🐕