OCamlのList.mapにレットがあるのはなぜですか？次のようにOCamlの3.12.1で

Question

、List.mapが書かれている：

let rec map f = function 
    [] -> [] 
    | a::l -> let r = f a in r :: map f l 

私はその最後の行が| a::l -> f a :: map f lとして書かれたが、その代わりに、結合let一見役に立たない存在であることを期待したいです。どうして？

Answer 1

マップの機能の適用順序を保証することができると確信しています。 OCamlでの単純な式の評価の順序は規定されていないので、がなければ、リストの要素に対するfのアプリケーションの順序は不定になります。 OCamlは純粋な言語ではないので、実際に注文を指定したい（fが最初にリストの先頭で呼び出されるなど、再帰的に呼び出されます）。