>>610
> 「再帰の際の環境をスタックに保存するか、ヒープに保存するか？」とか
意味がよくわからないけれど、
末尾再帰でなくてもスタックオーバーフローしない処理系がある
といっているの？もしそうなら教えて欲しい。

>  「末尾再帰の最適化をするか？」とかは、実装依存の話だよね。
違う。Lazyであれば外側から評価されるから勝手に
いわゆる末尾再帰の最適化がされた状態になる。