OCaml使用function关键字定义函数时为何出现弱类型

你观察到的'_weak14弱类型标记和function关键字本身没有关联，触发该问题的核心是OCaml的**值限制（Value Restriction）**类型规则：

• OCaml仅允许「语法层面的值」被推断为泛化的多态类型，这类值包括常量、lambda函数、值构造器的合法应用、符合要求的let绑定值等
• 你当前的实现中，顶层duplicates的定义是duplicates' []，这是一个函数调用表达式，不属于语法值范畴。即使这个调用的返回结果是函数，编译器也不会为其分配可适配任意类型的多态类型变量，只会分配一个待确定的弱类型变量，即输出里的'_weakn形式。这类弱类型变量会在你第一次调用函数时，被绑定到传入参数的具体类型，之后类型就固定无法变更。

举个验证场景：如果加载你写的原始代码后第一次执行duplicates [1;2;3]，duplicates的类型会被永久固定为int list -> int list，后续传入字符串列表等其他类型的列表参数就会触发类型错误。
你提到的添加显式参数、用match with写法能得到正常多态类型，本质是因为这种写法下duplicates本身是fun param -> ...形式的lambda抽象，属于语法值，满足值限制的泛化要求，可以被推断为'a list -> 'a list的通用多态类型。

最稳妥通用的修复方式是对定义做eta展开，添加显式形参把函数调用包裹为lambda抽象，让顶层定义符合语法值要求，修改后的代码如下：

let duplicates =
  let rec duplicates' accumulator = function
    | [] -> accumulator
    | [ item ] -> duplicates' (item :: accumulator) []
    | item :: item2 :: tail ->
      if item = item2 then duplicates' (item :: accumulator) tail
      else duplicates' (item :: accumulator) (item2 :: tail)
  in
  fun l -> duplicates' [] l
;;

修改后再查看类型，就会得到正常的多态类型签名：

val duplicates : 'a list -> 'a list = <fun>

补充说明：哪怕你把内部实现里的function关键字全部替换为match ... with写法，只要顶层定义仍然是duplicates' []这类函数调用形式，依然会触发弱类型问题，和模式匹配的写法选择无关。

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