OCaml
リスト処理

List.Map

List.mapは、英語で関数（これをマッピング関数と呼ぶ）を1つの型（つまり、 'a ('a -> 'b) -> 'a list -> 'b list 'a ）別のタイプ（すなわち'b ）および第1のタイプのリスト。この関数は、すべての要素が最初のリストの要素に対してマッピング関数を呼び出した結果である第2の型のリストを返します。

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

タイプ'aと'b 'a異なっている必要はありません。たとえば、数字を四角に簡単にマッピングすることができます。

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) ...)) 。 （この後者の関数はtail-recursiveではありません。）

普通の英語のコンピューティングでList.fold_left fa [b1; ...; bn]はリスト[b1; ...; bn]は、最初にa設定され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

これらの例は学習のためのものであり、これらの実装は標準ライブラリの対応する機能には意味がありません。