OCaml多态类型声明疑问：为何泛型类型需显式声明类型参数？

要搞懂这个问题，得从类型系统的基本规则说起，核心原因有这几点：

• 明确泛型参数的绑定关系
  显式写'a t2是在告诉编译器：'a是这个新类型t2的类型参数，是一个可以被任意具体类型替换的占位符。如果直接写let type t2 = 'a，编译器会把'a当成一个已经存在的具体类型名称——就像你写let type t1 = string里的string一样。如果之前没定义过名为'a的类型，编译器直接会报错；如果定义过，那t2就会被固定成那个具体类型，完全失去泛型的灵活性。

• 消除语法歧义
  类型系统需要清晰区分「泛型类型定义」和「基于已有类型创建别名」。比如：

  • 写let type t1 = string是创建string的别名，属于具体类型；
  • 写let type 'a t2 = 'a是创建泛型类型，'a是可替换的参数。
    要是允许省略'a的声明，编译器根本没法判断你到底是想定义泛型，还是想给某个叫'a的具体类型起别名，语法逻辑会彻底混乱。

• 保证泛型的多态性可控
  泛型的核心是「同一个类型结构可以适配多种具体类型」，显式声明参数相当于给这个类型开了一个“类型输入口”。当你用let name : t2 = "A"时，编译器会自动把'a推断为string；用let age : t2 = 1时，又推断为int。如果没有显式声明'a，这个“输入口”就不存在，t2只能绑定到某个固定类型，没法实现多态。

举个反例：如果真写let type t2 = 'a，编译器会抛出类似「未定义类型'a」的错误——因为它把'a当成了需要引用的具体类型，而不是泛型占位符。

内容的提问来源于stack exchange，提问作者asfe