本节路线图

• 第一部分：子类型基础知识
  • 为何要引入子类型
  • 初识子类型关系
  • TypeScript中的子类型(类型构造器的逆变/协变/双变/不变)
• 第二部分：TAT-Sub的设计和实现
  • TAT-Sub的定型规则
  • TAT-Sub的实现