如何在OCaml模块中暴露类型构造器且避免重复定义

如果你需要公开模块类型t的构造器，同时不想在签名（sig）和结构体（struct）里重复写type t = A | B，可以试试这几种实用方法：

方法1：让OCaml自动推导类型签名 #

如果你的模块只需要暴露foo函数和t的具体构造器，完全可以省略签名里的type t = A | B定义。OCaml会自动将结构体里的具体类型t（包括构造器A、B）关联到签名中的t，从而公开构造器：

module MyMod : sig
    val foo : t -> int  (* 不写type的具体定义 *)
end = struct
    type t = A | B
    let bar x = x * x  (* bar会被隐藏，因为签名里没声明 *)
    let foo = function 
        | A -> bar 2
        | B -> bar 3
end

这样外部代码就能正常使用MyMod.A、MyMod.B调用foo，同时内部的bar不会被暴露，完美满足需求。

方法2：抽离公共类型定义 #

如果需要在多个地方复用这个类型，可以把t的定义抽离到模块外部，然后在签名和结构体里直接引用：

(* 全局或限定作用域内定义公共类型 *)
type my_t = A | B

module MyMod : sig
    type t = my_t  (* 直接引用公共类型 *)
    val foo : t -> int
end = struct
    type t = my_t  (* 同样引用公共类型 *)
    let bar x = x * x
    let foo = function 
        | A -> bar 2
        | B -> bar 3
end

这种方法适合需要在多个模块间共享类型的场景，避免重复编写构造器。

补充：完全省略显式签名 #

如果不需要隐藏任何内部定义（比如连bar也想公开），直接去掉模块的显式签名即可，OCaml会自动公开结构体里的所有内容：

module MyMod = struct
    type t = A | B
    let bar x = x * x
    let foo = function 
        | A -> bar 2
        | B -> bar 3
end

这样外部既能用MyMod.A、MyMod.B，也能调用MyMod.bar，适合小型模块或不需要封装的场景。

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