04/10/14 21:25:50
>>767 の言いたいことを推測。
CPSで継続を陽に扱うには、最初から全部CPSで書かなくちゃならない。
CPSで書かれていないコードから呼ばれるコードで継続を取り出したかったら
call/ccはプリミティブにならざるを得ない。
…ってなとこか?
CPSでもMonadみたいな形で継続を隠すことはできるけど、それだって
最初からそのつもりで書いてないと。
個人的には、Schemeの継続は言語の実験をするための道具って
感覚が強いな。
04/10/14 21:25:50
>>767 の言いたいことを推測。
CPSで継続を陽に扱うには、最初から全部CPSで書かなくちゃならない。
CPSで書かれていないコードから呼ばれるコードで継続を取り出したかったら
call/ccはプリミティブにならざるを得ない。
…ってなとこか?
CPSでもMonadみたいな形で継続を隠すことはできるけど、それだって
最初からそのつもりで書いてないと。
個人的には、Schemeの継続は言語の実験をするための道具って
感覚が強いな。