OCAML 一级模块签名推断

Question

1) 假设有一个模块

module Int_Sig_1 =
struct
let x = 1
end
;;

2) 以及该模块的显式签名

module type INT_SIG =
sig
val x:int
end
;;

3) 我根据上面的模块和模块类型创建了一个一流的模块

let int_sig_1 = (module Int_Sig_1:INT_SIG)

4) 现在我创建另一个没有显式签名但推断签名与上面相同的模块

module Int_Sig_2 =
struct
let x =2
end
;;

5) 正如 Real World OCAML 一书的第 10 章所写的“如果可以推断，模块类型不需要成为第一类模块构造的一部分”，我尝试先创建第二个使用上述模块但没有显式模块类型的类模块

let a2 = (module Int_Sig_2);;

我收到以下错误

错误：无法推断此打包模块的签名。

6) 然后我尝试在 5 中执行与上面相同的操作，但这次我将创建的 没有模块类型的第一类模块作为列表的元素，其中的头该列表是由上面 3 中的显式签名创建的第一类模块。

let int_sig= [int_sig_1;(module Int_Sig_2)];;
val int_sig : (module INT_SIG) list = [<module>; <module>] ;;

我的问题是为什么上面的 5 给了我一个错误，而 6 没有失败？

Answer 1

(5) 的问题在于，通常可以推断出多种模块类型。在您的示例中，至少有两种有效的模块类型可用于打包 Int_Sig_2：

 module type empty = sig end
 module type with_x = sig val x:int end

换句话说，两者都

 let a2 = (module Int_Sig_2: empty)
 let a2_bis = (module Int_Sig_2:with_x)

有效。因此，在这种情况下，类型检查器不会尝试推断模块类型。

相反，在您的示例 (6) 中，列表的类型由其第一个元素确定，其类型为 (module INT_SIG_2)，因此类型检查器可以使用此信息来推断第二个元素的预期类型列表中的(module INT_SIG_2)。然而，颠倒这两个元素会产生类型错误。换句话说，这很好：

 [(module struct let x = 2 end: with_x); (module struct let x = 1 end)]

然而，反过来产生

[(module struct let x=2 end); (module struct let x = 3 end:with_x)];;
Error: The signature for this packaged module couldn't be inferred. 

这是因为类型检查器具有从左到右的偏差，并且首先键入列表的第一个元素。