OCaml中如何无需显式指定模块名使用自定义中缀运算符？

问题重现 #

你定义了SCALAR签名和INT模块后，直接使用INT.zero ++ INT.one会报错Unbounded value ++，但INT.(++) INT.zero INT.one可以正常执行，核心原因是自定义中缀运算符属于模块的内部绑定，默认不会暴露到全局命名空间，必须通过显式引用或绑定才能直接使用。

解决方案 #

• 全局打开模块：通过open INT将模块内的所有绑定（包括运算符）导入到当前命名空间，之后就能直接使用中缀运算符：

  open INT
  
  let test = zero ++ one  (* 输出 1 *)
  let test2 = INT.zero ++ INT.one  (* 同样有效，因为运算符已全局可用 *)
  

  注意：全局打开模块可能导致命名冲突，建议在较小的作用域内使用，或者明确知道不会有冲突时使用。

• 单独绑定运算符到全局：如果不想打开整个模块，可以单独将模块内的运算符绑定到全局名字：

  let (++) = INT.(++)
  
  let test = INT.zero ++ INT.one  (* 输出 1 *)
  

  这种方法只暴露需要的运算符，避免了全局打开模块带来的命名污染问题。

• 局部模块打开语法（简洁写法）：使用INT.(...)的局部打开语法，可以在表达式内部直接使用模块内的绑定，写法更简洁：

  let test = INT.(zero ++ one)  (* 输出 1 *)
  

  这种方式不需要全局绑定，也不会污染命名空间，适合单次或少量使用的场景。

原理说明 #

OCaml中，模块内的所有值（包括运算符）默认都是模块的成员，必须通过模块名.值名的方式访问。中缀运算符本质也是函数，只是语法上可以放在两个操作数中间。当你写INT.zero ++ INT.one时，OCaml会寻找全局范围内的++运算符，而不是INT模块内的，所以会报错。而INT.(++)是显式引用模块内的运算符，或者通过open/绑定将其导入到全局，OCaml才能识别。

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