OCaml签名中类型声明的正确写法：如何避免重复定义

不需要在.mli和.ml中重复声明模块类型，这种冗余写法并不规范。正确的做法是将模块类型统一定义在.mli文件（对外接口）中，.ml文件（实现部分）直接引用这些已定义的模块类型即可。

修改后的代码示例 #

set.mli（保持接口定义不变） #

module type Element = sig
  type t
  val create : 'a -> t
  val compare : t -> t -> int
  val to_string : t -> string
end

module type Set = sig
  type t
  val empty : unit -> t
end

module Make : functor (M : Element) -> Set with type t = M.t list

set.ml（移除重复的模块类型声明） #

module Make (M : Element) = struct
  type t = M.t list
  let empty () = []
end

关于之前编译失败的原因 #

• 若你之前移除的是.mli中的模块类型声明，那么.mli里Make functor的类型约束（(M : Element)和-> Set）会找不到对应的模块类型，直接导致编译报错。
• 若你之前移除.ml中的声明后编译失败，大概率是误解了OCaml的可见性规则：同一模块的.ml文件可以直接访问同名.mli里定义的所有模块类型、类型和值，只要.mli的声明存在，.ml就能正常引用。

总结 #

模块类型的核心是定义接口契约，应该放在.mli中统一管理，.ml文件专注于实现逻辑，既避免重复代码，也符合OCaml模块系统的设计规范。

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