末尾再帰 concat の２引数を組にしたもの

c9_6t.ml

(* 目的: リストで与えられた文字列を連結する *)
let rec concat xs =
  match xs with
    [] -> ""
  | first :: rest -> first ^ concat rest;;

(* 末尾再帰版の２つの引数を組にしたもの *)
(* インタプリタ上で #trace concat2;; してから実行してみましょう *)
let rec concat2 (xs, out) =
  match xs with
    []            -> out
  | first :: rest -> concat2 (rest, out ^ first);;

(* テスト *)
let c1 = concat []               =       "";;
let c2 = concat ["あ"]           =     "あ";;
let c3 = concat ["あ";"い";"う"] = "あいう";;

let c4 = concat2 ([],               "") =       "";;
let c5 = concat2 (["あ"],           "") =     "あ";;
let c6 = concat2 (["あ";"い";"う"], "") = "あいう";;