11 Sum Types | 和类型¶

约 120 个字

我们给出了和类型的语法和语义。和类型 \(\tau_1 + \tau_2\) 的一个值包含 \(\tau_1\) 类型的一个值或者 \(\tau_2\) 类型的一个值，同时包含了一种能够确定该值属于哪个类型的机制。这种机制是为了满足语法中 case 运算符的需求。

我们区分了 void 和 unit 的区别，分析了布尔类型和 option 如何用和类型实现。