>>479
俺もそう理解している。
名称を "properly tail-recursive" としながら
その実 "tail call" についての要求しかしてないのが混乱の元だと思う。

> っていうか、実装者の気持になって考えると、末尾再帰の場合だけ最適化っつー方が難しいだろ。
r6rs では大分マシになったよね。
export された識別子の束縛は変更不能だし、
export されてない識別子ならコンパイル時に判定可能だし、
REPL もなくなったし。
色々文句はあるだろうけど。