OCaml变体声明使用冒号而非of关键字的原因及类型读法

你观察到的冒号变体语法是OCaml的广义代数数据类型（GADT），属于标准代数数据类型（变体）的扩展特性，并非普通变体的语法混用。

为什么用冒号而不是of关键字？ #

普通变体的所有构造器返回的都是同一个泛型参数实例的类型，因此可以用of简写构造器的参数类型，不用显式标注返回类型。而GADT允许每个构造器返回不同泛型参数实例的类型，因此必须用冒号显式声明构造器的完整类型签名，明确参数类型和返回值的具体泛型实例。

代码逐行解读 #

type z = Z of z

这是一个类型层面的“零”标记类型，它只有一个递归构造器，没有合法的非底层运行时值，仅作为类型级别的标识使用。

type 'a s = Z | S of 'a

这是类型层面的“后继”标记类型，'a s表示类型'a对应的下一个类型级自然数，同样仅做类型标识使用。

type _ t = Z : z t | S : 'n t -> 'n s t

这是用GADT定义的类型级自然数单例类型：

• 构造器Z的完整类型为z t，对应类型层面的自然数0
• 构造器S接收一个'n t类型的参数，返回'n s t类型，对应类型层面自然数'n的后继值
  这种结构的核心作用是把自然数的值编码到类型里，比如S (S Z)的类型会被自动推导为z s s t，直接在类型层面标识了值代表的自然数大小，可用于实现编译期的类型安全校验，比如限制函数只能接收固定长度的列表、保证数值运算的边界合法性等。

补充说明 #

普通变体的写法本质上是GADT的语法糖，比如普通变体定义type 'a t = Z | S of 'a t等价于GADT写法type 'a t = Z : 'a t | S : 'a t -> 'a t，只是因为普通变体所有构造器的返回类型泛型参数完全一致，所以可以简化为更短的of写法。

内容的提问来源于stack exchange，提问作者David 天宇 Wong