📄️ 本节路线图- 回顾TAT类型检查器:TAT-Sub-F📄️ Lambda Cube关于类型系统的能力，我们有一个来自纯类型系统(PTS)的能力模型，叫做Lambda Cube。📄️ 俯瞰编程语言：宇宙的层级宇宙的层级：从字符串宇宙下行📄️ TAT类型检查器回顾我们收获了什么：📄️ TypeScript的类型编程Live coding!📄️ 类型体操类型体操问题集：Type Challenges