OCaml 汇总列表中的数据

示例

的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

这些示例仅是学习材料，这些实现不具备标准库中相应功能的优点。