末尾再帰最適化

末尾再帰最適化 (PTE: Proper Tail Call, TCO: Tail Call Optimization)

これが実装されている言語において、再帰関数の呼出を関数の末尾に書くことで、スタック領域に関数のスタックフレームが積まれることなく再帰関数を実行できるというものである。
関数の末尾に関数呼出以外の情報が無いことが条件である。