为何OCaml推断无显式int标注的lookupTable函数接收int参数

类型推断异常的核心原因是open Base引入的运算符行为变化，和lookupTable的递归、模式匹配逻辑无关。
标准OCaml原生提供的=是多态相等运算符，类型为'a -> 'a -> bool，支持所有可比较类型的相等判断。但Jane Street的Base库为了规避隐式多态比较的隐藏性能开销和意外行为，默认导出的=是整数专用比较函数，类型签名为int -> int -> bool，不具备多态性。
你的lookupTable函数在匹配守卫中写了when name = i，编译器根据=的int专用类型，直接约束name和i两个操作数必须为int类型，因此推导出函数签名为int * (int * 'a) -> 'a option。这个类型约束优先级高于后续table类型定义、lookupTable调用点传入string类型参数带来的约束，最终导致调用时提示传入参数不是整数的类型错误。
你可以在OCaml交互环境中直接验证这个行为：

# open Base;;
# (=);;
- : int -> int -> bool = <fun>

以下方案选择任意一个即可：

• 使用Base提供的多态相等函数Poly.equal替换原生=，将守卫条件修改为when Poly.equal name i即可。Poly.equal的类型为'a -> 'a -> bool，和标准OCaml多态=的行为完全一致，适配你定义的string类型id。
• 由于你当前实现中table的key固定为string类型的id，也可以直接使用字符串专用相等判断String.equal name i，不需要调用多态比较函数。
• 如果希望全局恢复多态=的行为，也可以在open Base之后加一行open Poly，后续所有=都会使用多态相等实现，不需要逐个修改比较点。

修复后的lookupTable参考实现：

let rec lookupTable = function
  | name, (i, v) :: _ when Poly.equal name i -> Some v
  | name, (_, _) :: rest -> lookupTable (name, rest)
  | _, [] -> None

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