匿名OCAML结构是否有任何用例

Question

OCAML手册，第2章说

结构，由结构…结构构造引入，其中包含任意定义顺序。该结构通常在模块绑定中给出一个名称。

是否有任何可用于创建结构的用例，而不是给它一个模块名称。 如果不是，那么我们总是使用

module Name =
  struct
    ...
  end

，因此结构关键字似乎有点冗余。

Answer 1

使用无名结构是可能甚至常见的（至少在我的代码中）。一个例子：

module MyStrSet =
   Set.Make(struct type t = string let compare a b = compare b a end)

Answer 2

为了稍微扩展Jeffrey的答案，OCAML函子将一个模块映射到另一个模块。它不在乎模块的名称。

考虑以下微不足道的例子。

module type SIG =
sig
  val x : int
end

module A (B : SIG) =
struct
  let y = B.x * 2
end

我已经定义了一个函数 a ，该模块b可满足模块类型sig。现在，我可以定义一个模块twenty_one提供x 21的值，然后将其提供给函数a 创建模块c。

module Twenty_one = 
struct
  let x = 21
end

module C = A (Twenty_one)

或者我可以直接使用匿名结构。

module C = A (struct let x = 21 end)

我们甚至不需要 name sig。

module A (B : sig val x : int end) =
struct
  let y = B.x * 2
end

module C = A (struct let x = 21 end)

强烈地进入意见领域，但您可能希望在您的代码中提供这些内容，如果它有助于重复使用和表达。

例如

module Int =
struct
  type t = int
  let compare = compare
end

module Int_map = Map.Make (Int)

VS。

module Int_map = Map.Make (struct type t = int let compare = compare end)

Answer 3

您可以使用匿名结构可以做的另一件事，这与最近（截至4.08.0）OCAML更相关，是与它使用open的能力，用于一种语法缩短的方式来隐藏名称您的命名空间（直到您编写一个接口文件）：

open struct
  type hidden_type = string
  let hidden_name = 42
end

此功能称为通用开放，并且相关的手册页为在这里。