为什么要学习类型系统

• 入门类型论，提高理论水平，为之后在类型系统以及编程语言上的探索打下基础；

• 俯瞰各个语言的类型系统；

• 对 TypeScript 的类型系统产生更深的理解，在日常工作中，写出质量更高的程序；

• 写一个自己的类型检查器，并且能够添加自己想要的特性；

• ……