列表

列表

List.Map

例

List.map有签名('a -> 'b) -> 'a list -> 'b list ，在英语中是一个函数，它从一个类型（即'a中取一个函数（我们称之为映射函数） 'a ）到另一种类型（即'b ）和第一种类型的列表。该函数返回第二种类型的列表，其中每个元素都是在第一个列表的元素上调用映射函数的结果。

List.map string_of_int [ 1; 2; 3; 4 ]
#- [ "1"; "2"; "3"; "4" ] : string list

类型'a和'b不一定是不同的。例如，我们可以轻松地将数字映射到它们的方块。

let square x = x * x in
List.map square [ 1; 2; 3; 4 ]
#- [ 1; 4; 9; 16 ] : int list

汇总列表中的数据

例

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

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

• List.fold_left fa [b1; ...; bn]是f (... (f (fa b1) b2) ...) bn 。
• List.fold_right f [a1; ...; an] b是f a1 (f a2 (... (f an b) ...)) 。 （后一种函数不是尾递归的。）

在简单的英语计算List.fold_left fa [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