>>351
てか、何で俺がそこまで考えてあんたに教えなくちゃいけないんだ。
あまり役には立たないが、継続呼び出しを全部同じ形にすれば、継続が
使えるのは確か。普通に考えれば、

・同一エリア内では継続呼び出しを全部同じ形にしなくてはならない。
・別のエリアでは別の呼び出しを使っても良い。

この二つの規則を組み合わせることで、ちょっとは役に立つように継続を
実現できるのではないかと思う。この「エリア」をどうするかが大きな問題だが。

あとは、モナドなどが使えるかもね。
いずれにせよ、矛盾なく考えるのは非常に難解そうだが。