OCaml 中嵌套签名的示例？

Question

在 OCaml 中，您可以嵌套签名：

module type FOO =
sig
  module type BAR
  (* … *)
end

我只是想知道是否有人有任何使用中的示例，因为我想不出任何需要它的地方。我想它可能在函子的返回签名中有用，但我想不出任何具体的东西。

Answer 1

我记得看到过一些模块（可能是电池），其中包含一个 Infix 模块，可以单独打开，并且只有在真正需要时才可以打开。例如，

module Rational = 
  struct
    let add a b = ...
    let sub a b = ...

    module Infix =
      struct
        let (<+>) = add
        let (<->) = sub
      end
  end

通过这种方式，如果您要打开 Rational.Infix 模块，您就不会取消范围(?) 任何与 Rational 中同名的函数>。

我正在开发一个项目，我们使用模块来划分类型。让模块仅定义一种类型并操作该类型有助于组织；特别是当模块很小并且拥有单独的文件并不有利，并且变体类型没有意义时。

module Node = 
  struct 

  end
module Edge = 
  struct

  end

type 'a tree = { nodes : 'a Node.t; edges : 'a Edge.t; }

我们还使用它们，尽管它们是单独的文件（与 -mlpack 结合），用于我们生物数据所需的所有解析器——Nexus、Fasta、Phylip 等。

最后，通常在对新算法进行原型设计时，我们会先用 ocaml 编写它，然后再开发 C 版本。我们通常将 ocaml 版本保留在具有相同函数名称的内部模块中。

module Align = 
  struct
    module OCaml = 
      struct

      end
  end

Answer 2

我想到的第一个例子： http://caml.inria .fr/pub/docs/manual-ocaml/libref/type_Map.html

（这确实是一个函子签名）