错误：无法安全地评估递归定义模块的定义

我很想了解为什么会发生此错误以及解决该错误的最佳方法是什么。

我有几个文件types.ml and types.mli它定义了一个变体类型value可以是许多不同的内置 OCaml 类型（float、int、list、map、set 等）。

由于我必须在这个变体类型上使用 std-lib，所以我需要通过函子具体化 Set 模块，以便能够使用value类型通过定义ValueSet module.

决赛.ml文件是这样的：

module rec I :
sig 
  type value =
    Nil
  | Int of int
  | Float of float
  | Complex of Complex.t
  | String of string
  | List of (value list) ref
  | Array of value array
  | Map of (value, value) Hashtbl.t
  | Set of ValueSet.t ref
  | Stack of value Stack.t
  ...

  type t = value 
  val compare : t -> t -> int
end
= struct

  (* same variant type *)

  and string_value v =
    match v with
      (* other cases *)
      | Set l -> sprintf "{%s} : set" (ValueSet.fold (fun i v -> v^(string_value  i)^" ") !l "")
end
and OrderedValue :
sig
    type t = I.value
    val compare : t -> t -> int
end
= struct
    type t = I.value
    let compare = Pervasives.compare
end
and ValueSet : Set.S with type elt = I.value = Set.Make(I)

正如你所看到的，我必须定义ValueSet函子中的模块能够使用该数据类型。当我想在声明中使用该模块时，就会出现问题I。这样我就得到以下错误：

错误：无法安全地评估递归定义模块 I 的定义

为什么会出现这种情况？有什么好的方法可以解决吗？只是想知道，我尝试做的事情的方法是否正确？除此之外，它按预期工作（我可以在其他模块中的操作中使用 ValueSet 类型，但我必须注释中涉及的行types.ml通过编译阶段）。

我尝试删除所有多余的代码并将代码减少到调查此错误所需的必要代码..如果还不够，只需询问:)

编辑：根据 OCaml 参考我们有

目前，编译器要求递归定义的模块标识符之间的所有依赖循环至少经过一个“安全”模块。如果模块包含的所有值定义都具有函数类型 typexpr1 -> typexpr2，则该模块是“安全的”。

这是迄今为止我发现的所有内容，但我不明白确切的含义。

预先感谢

修复明显的错误后，您的示例确实可以编译（使用 OCaml 3.10，但我认为自从 3.07 中引入递归模块以来，这一点没有改变）。希望我下面的解释能够帮助您找到您遗漏的定义中导致代码被拒绝的原因。

以下是一些被接受的示例代码：

module rec Value : sig
  type t =
    Nil
  | Set of ValueSet.t 
  val compare : t -> t -> int
  val nil : t
  (*val f_empty : unit -> t*)
end
= struct
  type t =
    Nil
  | Set of ValueSet.t
  let compare = Pervasives.compare
  let nil = Nil
  (*let f_empty () = Set ValueSet.empty*) 
end
and ValueSet : Set.S with type elt = Value.t = Set.Make(Value)

在表达水平上，该模块Value不依赖于ValueSet。因此编译器生成代码来初始化Value在初始化代码之前Value，一切顺利。

现在尝试注释掉 的定义f_empty.

File "simple.ml", line 11, characters 2-200:
Cannot safely evaluate the definition of the recursively-defined module Value

Now Value确实取决于ValueSet, and ValueSet总是取决于Value因为compare功能。因此它们是相互递归的，并且“安全模块”条件必须适用。

目前，编译器要求所有依赖关系之间的循环 递归定义的模块标识符至少要经过一个“安全”模块。 A 如果模块包含的所有值定义都具有函数类型，则该模块是“安全的”typexpr_1 -> typexpr_2.

Here, ValueSet不安全，因为ValueSet.empty, and Value不安全，因为nil.

“安全模块”条件的原因是递归模块选择的实现技术：

递归模块定义的评估继续进行 通过为所涉及的安全模块构建初始值，绑定所有 （功能）值fun _ -> raise Undefined_recursive_module。定义 然后评估模块表达式，并计算安全的初始值 模块被由此计算的值替换。

如果你注释掉声明nil在签名中Value，你可以留下定义和声明f_empty。那是因为Value现在是一个安全模块：它只包含函数。留下定义就可以了nil在实施中：实施Value不是一个安全模块，但是Value其本身（强制签名的实现）是安全的。