OCaml类型表达式中`as`关键字的作用是什么？

OCaml 5手册第11.4节提到，类型表达式（typeexpr）支持typexpr as 'ident的写法。先看两个可编译的示例：

type 'a x = 'a as int

type y = 'a as int

我一开始以为这种as别名是类型层面的let，但搞不懂怎么使用绑定后的新类型变量，也不清楚它和constraint的区别，比如下面这段代码就无法编译：

type x = 'a as int in ('a, 'a) (* 无法编译 *)

一、as别名的核心用途 #

as的作用是给某个具体的类型表达式绑定一个类型变量别名，主要场景有两个：

• 简化递归类型定义：在递归类型里，给自身类型绑定别名，避免重复书写复杂的类型表达式；
• 隐含类型约束：绑定变量的同时，强制这个变量等于对应的类型表达式，相当于把约束写在类型定义内部。

二、对示例的拆解 #

1. type 'a x = 'a as int
   这段代码等价于type 'a x = int constraint 'a = int——它定义的类型'a x本质就是int，同时强制类型参数'a必须是int。也就是说，你只能用int x这个实例化后的类型，其他类型参数都会报错。

2. type y = 'a as int
   这里'a被绑定到int，但因为整个类型定义里没有其他地方用到'a，所以这个别名没有实际复用价值，最终类型y就是int。

三、为什么in写法会报错 #

OCaml里的as绑定没有类似let ... in的跨表达式作用域，它的作用域仅限于当前的类型表达式内部。你写的type x = 'a as int in ('a, 'a)是错误的语法，因为as绑定的'a只能在'a as int这个子表达式里生效，不能用in把它带到后面的元组类型里。

四、和constraint的区别 #

• as是在类型表达式内部绑定+约束：绑定变量的同时，直接声明该变量等于对应的类型，写法更紧凑；
• constraint是事后追加约束：先定义类型，再在末尾添加类型变量之间的约束关系，更适合处理多个变量之间的复杂约束。

比如用as简化递归类型的例子：

type 'a tree = Node of 'a * ('a tree as 't) * 't

这里't被绑定到'a tree，后面直接用't代替重复的'a tree，代码更简洁。如果用constraint的话，写法会更啰嗦：

type 'a tree 't = Node of 'a * 't * 't constraint 't = 'a tree

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