いつまで続くかわからないけど、 M.Hiroi's Home Page / お気楽 OCaml プログラミング入門 - 高階関数 リスト を読んで、 OCaml 書いた。

末尾再帰とは各再帰処理で、計算結果と再帰処理を行い、再帰の末端ですぐ計算結果を返せる状態になっていること。