>>714
どの言語というか、処理系の最適化の話。

末尾再帰でない形のプログラムを末尾再帰に変換するアルゴリズムはかなり昔
から知られてるから、関数型言語ならそれくらいはじめから実装されてないの
かな？と思ったのだ。