Schemeを作ろう 第3回 継続

Last update 1999/08/07 Scheme処理系の制作 第3回 (C)平山直之 無断転載は禁止、リンクはフリー 誤字脱字の指摘は歓迎 継続とは 今回は、前回「めんどくせえ」と放棄した継続の概念の説明および実装レポートについて書きたいと思います。 あれからまたインターネット漁ってみたのですが、やっぱりどうも日本語リソースはないらしいので、自力で書いてみることにします（schemeの研究してる学者・学生なんて掃いて捨てるほどいるだろうに……） さて、こんなC言語のコードがあるとします。 void foo(void){ bar(baz( )); bar(0); } C言語を学んだ皆さんなら、このコードがどういう順番に実行されるのかわかりますよね。説明されるまでもなく、 baz( )を呼び出す その戻り値を引数としてbarを呼び出す 0を引数として呼び出す fooの呼び出しもとに帰

[paz3]

Schemeの継続の説明。いままで見た中で一番わかりやすい説明です。

[peanutsjamjam]

このとき、「次に(display "きつね")を評価する」継続が大域変数 x にバインドされていますので、

[ma2]

継続の解説と実装。

[higepon]

[call/cc] 継続の実装

[ytumagar]

継続 Continuations

[twainy]

call/ccの説明

[mind]

継続

[tomapd]

継続の話