23｜增强编译器前端功能第2步：增强类型体系

TypeScript的类型系统经过精心设计，旨在弥补JavaScript弱类型、动态类型所带来的缺点。该类型系统功能强大，表达能力很强，有利于提高程序的正确性，同时又没有削弱程序员自由表达各种设计思想的能力。文章介绍了TypeScript类型系统的特点，包括继承JavaScript的预定义类型、禁止变量类型的动态修改、支持联合类型和将值作为类型等。此外，还提到了TypeScript的类型系统还有更多丰富的特性，如数组类型、交集类型、通过class和interface实现自定义的类型、泛型等。文章强调了循序渐进的原则，先从比较简单的特性入手，然后逐步深化。接下来，文章将聚焦在联合类型和值类型的支持能力上，以体会TypeScript类型系统的强大。文章还介绍了语法解析器的升级，以支持新的语法规则，并讨论了AST和CST的区别。此外，还介绍了与类型相关的AST节点的设计和类型对象结构的表示，以及类型解析程序TypeResolver的功能。最后，文章提到了升级类型检查算法，以支持新的联合类型和值类型。整体而言，本文深入探讨了TypeScript类型系统的设计与实现，为读者提供了全面的技术视角。文章内容涉及了TypeScript类型体系的特征、语法规则的升级、类型检查功能的升级，以及与其他语言的比较和思考题等内容，为读者提供了全面的技术视角。