>>745
＞処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる？

テイルコールはそうでしょ
最適化は処理系がやってくれることを保証するので
単純ループに相当するものでもどんどん再帰の形で書きましょうってことでしょ

ファーストラムダも同じ
制御構造相当のものをlambdaを使って書いても最適化されますよってこと