OCaml 汇总列表中的数据
示例
的List.fold_left和List.fold_right功能是实现列表聚集的外逻辑高阶函数。汇总列表（有时也称为简化列表）意味着计算从对该列表中所有项目的顺序检查得出的值。
列表模块的文档指出：
List.fold_leftfa[b1;...;bn]是f(...(f(fab1)b2)...)bn。
List.fold_rightf[a1;...;an]b是fa1(fa2(...(fanb)...))。（后一个函数不是尾递归的。）
用简单的英语来说，计算List.fold_leftfa[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
这些示例仅是学习材料，这些实现不具备标准库中相应功能的优点。