0 
module MapHelpers (Ord : Map.OrderedType) = struct
  include Map.Make (Ord)
  let add_all a b = fold add a b
end

有效，但看似等效

module MapHelpers (Ord : Map.OrderedType) = struct
  include Map.Make (Ord)
  let add_all = fold add
end

无法编译

File "Foo.ml", line 2, characters 18-104:
Error: The type of this module,
       functor (Ord : Map.OrderedType) ->
         sig
           ...
           val add_all : '_a t -> '_a t -> '_a t
         end,
       contains type variables that cannot be generalized
Command exited with code 2.

并添加显式类型注释

: 'a . 'a t -> 'a t -> 'a t

导致编译提前失败

Error: This definition has type 'a t -> 'a t -> 'a t
       which is less general than 'a0. 'a0 t -> 'a0 t -> 'a0 t

为什么添加显式a b形式会改变这两个模块的类型？

4

1 回答 1

3

这是值限制的结果，如以下常见问题解答项目中所述：

偏应用得到的函数不够多态

获得“不够多态”定义的更常见情况是通过部分应用通用多态函数来定义函数。在 Caml 中，多态性仅通过“let”构造引入，应用程序的结果是弱多态性；因此应用程序产生的函数不是多态的。在这种情况下，您可以通过向类型检查器清楚地展示功能来恢复完全多态的定义：使用显式功能抽象定义函数，即添加函数构造或额外参数（这种重写称为 eta-expansion ):

# let map_id = List.map (function x -> x) (* Result is weakly polymorphic *)
val map_id : '_a list -> '_a list = <fun>
# map_id [1;2]
- : int list = [1;2]
# map_id (* No longer polymorphic *)
- : int list -> int list = <fun>
# let map_id' l = List.map (function x -> x) l
val map_id' : 'a list -> 'a list = <fun>
# map_id' [1;2]
- : int list = [1;2]
# map_id' (* Still fully polymorphic *)
- : 'a list -> 'a list = <fun>

这两个定义在语义上是等效的，并且可以为新定义分配多态类型方案，因为它不再是函数应用程序。

另请参阅有关in表示的内容的讨论- 弱的非多态类型变量。_'_a

于 2013-05-24T15:40:42.570 回答