💬 写在前面:本章我们将进入类型引用的讲解,首先带着大家复习一下之前我们制作的 F- 的类型规则,然后讲解类型推断步骤,以及如何生成类型方程。 目录 0x00 回顾:F- 的类型规则 0x01 类型推断步骤 0x02 生成类型方程:𝑮𝒆𝒏(𝚪, 𝒆, 𝒕) 0x03 练习 0x00 回顾:F- 的类型规则 类域:类型 (T) 的集合定义如下,我们将使用 表示一个类型变量。 下面的 表示一个类型变量 (𝝉 ∈ 𝑻𝒚𝑽𝒂𝒓 = 𝑺𝒕𝒓𝒊𝒏𝒈)