OCaml 中 module 和 Signature 的关系

个人理解：

Signature 也可以叫做 interface , 我们可以这样理解， Signature是抽象的，是module的类型， 对module进行了约束，约束了该module的用户能在外部使用该module的哪些内容，因为一个module中不需要把所有东西都对外公开了，比如有些辅助性的函数我们就可以对外隐藏。

module 是对一个 interface(signature)的具体的实现

怎么理解Signature是module的类型这句话呢？ 通常我们在OCaml中声明一个值, 比如

</pre><pre name="code" class="html"><span style="font-size:18px;">let x:int = 2;;</span>

我们可以不声明int，因为OCaml具有类型推断功能，但是如果我们要显示的写出来，就可以像这个例子一样 :int 声明x是一个int类型， 同理，在我们声明一个module的时候，我们也可以显示的声明出他的类型来，就是与他相对应的signature .

如下面的例子： sig ...end 包含的部分就是一个Signature的定义，首先我们定义了一个module type 叫做 Hello_type, 这是一个Signature，可以被具体的module来实现

然后我们定义了一个module，叫做Hello, 他的类型正是我们刚刚定义的signature(Hello_type), 在这个module中，我们除了要定义一个hello: unit->unit 的函数之外，也可以定义一些其他东西，但是外面的用户是看不到的，因为Signature的作用就是给module加一些限制，定义哪些可以被外面看到，哪些不能

module type Hello_type = sig
 val hello : unit -> unit
end
  
module Hello : Hello_type = struct
  ...
end

Hello_type是一个命名的模块类型，并且可以重用，用来定义其他的模块接口。