- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在试验 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]
为什么有些函数在没有给定标签的情况下应用时返回非直观值,而其他函数却按预期工作?
最佳答案
根据 the manual你只能省略标签“如果一个应用程序是完整的(省略所有可选参数)”,并重要警告“像 ListLabels.fold_left
这样的结果类型是类型变量的功能将永远不会被视为完全应用”
所以既然core的fold_left
的结果类型当然也是类型变量,你就不能不带标签调用它。当您这样做时,位置参数被解释为由 fold_left
生成的函数的参数,并且它仍在等待您提供带标签的参数。
关于types - 使用不带标签的 Core.Std.List.fold_left,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26703974/
我一直在努力思考 fold_left 和 fold_right。作为练习,我一直在尝试重写 fold_left 和 fold_right 中的很多函数来加强我的知识。例如,在查找列表的平均值时,我会使
我试图找到浮点数列表的平均值。 let avg l = List.fold_left ( +. ) 0 l /. List.length l;; List.fold_left 如何工作? (将
我可以通过以下代码找到列表的最后一个元素。 let last (xs:'a list) : 'a = let rec aux xs prev = match xs with
编写一个 Ocaml 函数 list_print : string list -> unit 从左到右打印列表中的所有字符串: 假设我有一个 Ocaml 函数 list_print: string l
我正在尝试学习 OCaml,但我仍然对折叠函数有些吃力。我做了一些研究,发现以下代码片段(用 Scala 编写)使用 foldleft 实现插入排序。我想我明白了,但我对 Scala 完全一无所知,所
我想知道如何在 Ocaml 中构建一个函数,该函数使用 List.fold_left 找出列表中是否存在元素。 例子: exists 3 [1;2;3;4;5] => true 这个函数的类型是:a
我正在试验 Core 的 List.fold_left。 # List.fold_left;; - : 'a Core.Std.List.t -> init:'b -> f:('b -> 'a ->
我想使用 fold_left 编写简单的插入排序函数,但我也想传递在我的排序乐趣中指定顺序的函数。我不知道的是如何将它传递给 fold_left.. let rec insert f l e = ma
我想遍历一个多 map ( map 的 map ),例如:map>在boost hana的帮助下。 lambda 函数 at不能采用引用类型 &map (编译错误:非常量引用),因此,我无法在 mul
我是一名优秀的程序员,十分优秀!