本节路线图

• 第一部分：多态的基础知识
  • 有哪些多态
    • 子类型多态
    • 参数多态
    • 特设多态
  • 将参数多态引入类型系统
    • 多态性$\lambda$-演算(System F)
    • 全称类型
• 第二部分：TAT-Sub-F的实现
  • TAT-Sub-F的编码实现