的List.fold_left和List.fold_right功能是实现列表聚集的外逻辑高阶函数。汇总列表(有时也称为简化列表)意味着计算从对该列表中所有项目的顺序检查得出的值。
列表模块的文档指出:
List.fold_left f a [b1; ...; bn]是f (... (f (f a b1) b2) ...) bn。
List.fold_right f [a1; ...; an] b是f a1 (f a2 (... (f an b) ...))。(后一个函数不是尾递归的。)
用简单的英语来说,计算List.fold_left f a [b1; ...; bn]相当于遍历列表,并[b1; ...; bn]跟踪最初设置为的累加器a:每次看到列表中的项目时,我们都会使用f该值来更新累加器的值,完成后,累加器就是最终的累加器。计算的价值。该List.fold_right功能是相似的。
以下是一些实际示例:
List.fold_left ( + ) 0 lst
let average lst = let (sum, n) = List.fold_left(fun (sum, n) x -> (sum +. x, n + 1)) (0.0, 0) lst in sum /. (float_of_int n)
函数List.fold_left和List.fold_right的通用性使得它们可以用于实现列表模块中的几乎所有其他函数:
let list_length lst = (* Alternative implementation toList.length*) List.fold_left( + ) 0 lst let list_filter predicate lst = (* Alternative implementation toList.filter*) List.fold_right(fun a b -> if predicate a then a :: b else b) lst []
甚至有可能重新实现该List.iter功能,请记住,()程序的全局状态是将此代码解释为列表聚合的另一个示例:
let list_iter f lst = (* Alternation implementation toList.iter*) List.fold_left(fun () b -> f b) () lst
这些示例仅是学习材料,这些实现不具备标准库中相应功能的优点。