Ocaml：“包含无法泛化的类型变量”

Question

type ide = string;;
type exp = http://pastebin.com/EhD9QdYj;;
let emptyEnv = fun x -> raise EmptyEnvException;;
let emptyFunEnv = fun x -> raise EmptyEnvException;;
let raddoppia = Function("mul2", "x", Mul(Ide "x", Int 2));;
(**)let funenv0 = funDeclr raddoppia emptyEnv emptyFunEnv;;

此代码使用 ocamlc 编译，返回此错误：

File "progetto.ml", line (**), characters 14-53:
Error: The type of this expression, ide -> ide * exp * ('_a -> 'b),
contains type variables that cannot be generalized

问题是什么？

Answer 1

首先，您应该遵循@didierc 提供的链接并阅读有关弱类型变量的信息，以便您了解它们为何存在以及它们何时发挥作用。

通常，弱类型变量没有什么不好的，尤其是在编写脚本时。您可以通过使用ETA-扩大加强他们（即，通过列举一个部分应用功能的所有参数，例如，替代List.hd用fun x -> List.hd x）。

弱变量并非无处不在，特别是它们不能转义模块，即它们不能出现在模块签名中。因此，具有弱类型的值只能从定义它的模块内部访问。这在词法上保证，一个变量只有一种类型，一旦被访问就会被赋值。

编写ml文件时，您创建了编译单元的一部分。编译单元由实现（ml文件）和接口（mli文件）组成。如果省略后者，则编译器将自动推断接口，导出模块的所有字段。在这种情况下，它也会导出弱变量。

综上所述，您可以创建一个空progetto.mli文件，该文件将关闭Progetto模块，并且没有弱变量会泄漏它。这样编译器就会很高兴，因为没有人可以破坏类型系统。