使用不带标签的 Core.Std.List.fold_left

我正在尝试 Core 的List.fold_left.

# List.fold_left;;
- : 'a Core.Std.List.t -> init:'b -> f:('b -> 'a -> 'b) -> 'b = <fun>

当我指定标签时它工作正常：

# List.fold_left [1;2;3] ~init:0 ~f:(+);;
- : int = 6                  

但当我不指定标签时，我会得到不同的结果：

# List.fold_left [1;2;3] 0 (+);;
- : init:(int -> (int -> int -> int) -> '_a) ->
    f:((int -> (int -> int -> int) -> '_a) ->
       int -> int -> (int -> int -> int) -> '_a) ->
    '_a
= <fun>

其他部分应用程序也会产生非直观类型。为什么我可以在列表参数后添加任意数量的 0？

# List.fold_left [1;2;3] 0;;
- : init:(int -> '_a) -> f:((int -> '_a) -> int -> int -> '_a) -> '_a = <fun>

# List.fold_left [1;2;3] 0 0;;
- : init:(int -> int -> '_a) ->
    f:((int -> int -> '_a) -> int -> int -> int -> '_a) -> '_a
= <fun>

其他一些函数也表现出相同的行为：

# let app ~f ~x = f x;;
val app : f:('a -> 'b) -> x:'a -> 'b = <fun>

# app (fun x -> x + 1) 1;;
- : f:('a -> (int -> int) -> int -> 'b) -> x:'a -> 'b = <fun>

但是一些带标签的函数在没有给出标签的情况下应用时能够返回预期结果。例如：

# List.map;;
- : 'a Core.Std.List.t -> f:('a -> 'b) -> 'b Core.Std.List.t = <fun>

# List.map [1;2;3] (fun x -> x + 1);;
- : int Core.Std.List.t = [2; 3; 4]

为什么有些函数在没有给出标签的情况下应用时会返回不直观的值，而其他函数则按预期工作？

根据手册 http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual006.html#toc35您只能省略标签“如果应用程序是完整的（省略所有可选参数）”，并附上重要的警告“该功能类似于ListLabels.fold_left其结果类型是类型变量将永远不会被视为完全应用。”

所以自从核心的fold_left当然，它的结果类型也是一个类型变量，没有标签就不能调用它。当你这样做时会发生什么，位置参数被解释为由fold_left它仍然等待您提供带标签的参数。