本节路线图

• 回顾TAT类型检查器:TAT-Sub-F
  • 能力模型: Lambda Cube
  • 和TypeScript的差距
• TypeScript的类型编程
  • 在类型上编码计算过程
  • 在类型上实现自然数
  • TypeScript的类型系统是图灵完备的
  • 类型体操问题集：Type Challenges
  • 类型体操问题集：Type Gymnastics