汇总列表中的数据

List.fold_left 和 List.fold_right 函数是实现列表聚合的外部逻辑的高阶函数。聚合列表（有时也称为减少列表）意味着计算从对该列表中的所有项目的顺序检查导出的值。

List 模块的文档说明了这一点

• 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 to List.length *)
  List.fold_left ( + ) 0 lst

let list_filter predicate lst = (* Alternative implementation to List.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 to List.iter *)
  List.fold_left (fun () b -> f b) () lst

这些示例旨在成为学习材料，这些实现与标准库中的相应功能相比没有任何优点。