天泣記

2020-03-30 (Mon)#1 OCaml での tail recursive な map (逆順にもならず、無駄にメモリを確保しないやつ)OCaml でリストの map を書くと、素朴には以下のようになるだろう。 let rec map f s = match s with | [] -> [] | v :: s' -> f v :: map f s' 標準ライブラリの List.map も、書き方はちょっと違うが、同じようなものである。 <URL:https://github.com/ocaml/ocaml/blob/4.10.0/stdlib/list.ml#L90-L92> let rec map f = function [] -> [] | a::l -> let r = f a in r :: map f l ただ、この実装は、tail recursive ではない。