末尾再帰

末尾再帰の場合、呼び出される側の返す値が同時に呼び出した側の返値となるため、このような呼び出しは、定義の先頭へジャンプする処理で置き換えが可能である。

この置き換えにより、再帰呼び出しの過程をスタックに保持する必要がなくなるため、無限の深さの再帰呼び出しが可能となる。