📄️ 本节路线图- 第一部分：多态的基础知识📄️ 多态的基础知识什么是多态📄️ 将多态引入类型系统目标类型系统: TAT-Sub-F📄️ 全称类型和柯里霍华德同构大家可能有这样的疑惑，为什么需要将多态的函数类型记成$\forall X. T1\Rightarrow T2$的样子呢？📄️ TAT-Sub-F的实现Live coding!