OCaml中能否显式声明非多态且支持延迟统一的类型？
首先直接给出结论：目前OCaml没有语法允许你直接在源代码中写出像'_a这样的弱类型变量——这类带前导下划线的类型是类型检查器内部生成的“弱类型变量”，专门用于标记那些会被后续上下文约束的非多态类型占位符，OCaml的语法明确禁止用户直接使用这类名称。
不过，我们可以通过一些类型系统的特性，模拟出类似的延迟统一且非多态的行为，而且不依赖可能消失的限制，下面来一步步说明：
先回顾弱类型变量的核心特性
你提到的Hashtbl.create例子是典型场景：
# Hashtbl.create 1;; - : ('_a, '_b) Hashtbl.t = <abstr>
这里的'_a和'_b是弱类型变量——它们不是多态的（不能被实例化为多个不同类型），而是会在后续使用这个哈希表时被统一成具体类型。比如当你往里面存一个整数，'_a就会固定为int，之后不能再存字符串。
而用户直接写'_a会报错，因为语法层面不允许：
# (5: '_a);; Error: The type variable name '_a is not allowed in programs
现有依赖高阶多态限制的方法（不推荐长期依赖）
你已经提到了利用OCaml缺乏高阶多态的特性来创建这类非多态函数：
# let id = snd ((), fun y -> y);; val id : '_a -> '_a = <fun> # (fun () -> fun y -> y) ();; - : '_a -> '_a = <fun>
这些写法的本质是，让函数在定义时被立即实例化（而非保持多态），迫使类型检查器生成弱类型变量而非普通的多态类型变量'a。但正如你担心的，这类方法依赖于OCaml当前对高阶多态的限制，未来如果OCaml支持更完整的高阶多态，这些写法可能就不会再生成弱类型变量了。
更稳定的显式模拟方式
如果想要不依赖这类限制，显式定义出类似行为的类型，我们可以利用以下几种方案：
方法1：使用GADTs（广义代数数据类型）
GADTs可以帮助我们创建一个需要被后续上下文约束的单态类型占位符：
type 'a delayed = Delayed : 'b delayed let id : 'a delayed -> 'a -> 'a = fun Delayed x -> x
当你第一次使用id时，'a会被固定为具体类型：
# id Delayed 5;; - : int = 5 # id Delayed "hello";; (* 这里会报错，因为'a已经被固定为int了 *) Error: This expression has type string but an expression was expected of type int
这个方法的好处是不依赖高阶多态的限制，而是利用GADTs的类型约束特性，实现了类似弱类型变量的“延迟统一+单态”效果。
方法2：使用引用类型的副作用
另一个简洁的技巧是利用引用的初始化来创建弱类型变量，然后封装成函数：
let id = let dummy = ref None in fun x -> dummy := Some x; x
这个函数的类型会是'_a -> '_a，因为dummy的类型是'_a option ref，第一次调用时'_a会被固定为传入参数的类型，之后不能再传入其他类型。这个方法也不依赖高阶多态限制，是比较稳定的写法。
方法3：使用局部模块和类型抽象
我们可以定义一个局部模块，里面封装一个单态的抽象类型，让它在第一次使用时被固定：
module type IdSig = sig type t val id : t -> t end let get_id () = (module struct type t = '_a let id x = x end : IdSig)
使用时需要拆模块，虽然稍显繁琐，但也能实现类似效果：
# let module M = (val get_id ()) in M.id 5;; - : int = 5 # let module M = (val get_id ()) in M.id "hello";; - : string = "hello"
每个get_id()调用都会生成一个新的弱类型占位符，各自独立被约束。
总结
OCaml目前不允许用户直接写出'_a这类弱类型变量，但通过GADTs、引用副作用或者局部类型抽象，我们可以显式模拟出具备“延迟统一+非多态”特性的类型，而且这些方法不依赖可能变化的类型系统限制，是更可靠的替代方案。
内容的提问来源于stack exchange，提问作者Greg Nisbet
