【摘要】类型系统是编译器内部最复杂、实现难度最高的模块。 类型系统负责分析变量类型、检测语义错误。 我花了半年时间研究整个类型系统的实现，现在整理一些研究成果，希望能对你有所帮助。 什么是类型 从最开始学编程时，书里就告诉我们，int 是一个内置类型，然后我们也可以通过 class 自定义类型，之后我们发现 阅读全文