>>888
ちょっCPSって継続と書いてある
右端展開の繰り返し表現可能ということと、継続で表せることは自明な勢いで同値なのでは…
つまり漏れの面の皮を通って赤面させるほどの目新しさのインパクトは無いｷﾓｽ、

>>889
AとBに何の関係も無い、とは、Aの真偽とBの真偽が独立のことを言うはず…
この場合「右端展開の繰り返しで表現可能」と「ループに展開できる」ことが同値なのであるから、
何の関係も無いというのは強弁に過ぎるのでは…

>末尾再帰の最適化とは関数コール命令＋関数リターン命令（call 〜 ret) をジャンプ命令に変換するという最適化でしかなく
最適化した結果のみを末尾再帰というのであれば狭く捉え過ぎｗｗｗｗｗｗ
徹頭徹尾アセンブラで議論してろよ；；
そうではなくて末尾再帰の最適化の話に限定するのであればスレを分けた方が適切なのでは…