前回の記事で、call/cc は呼ばれた時点での継続を取り出してくれるということを書いたのだが、その時点での環境は保存されているのだろうか? 前回の記事に出て来た wayback 関数を少し書き換えて実験してみる。 (define cont #f) (define (capture x) (call/…

目次 継続とcall/cc 継続とは call/ccは継続を取り出してくれる 継続はファーストクラスのオブジェクト 時をさかのぼる どこでも取り出せる継続 継続の利用 大域脱出 処理の一時中断と再開 まとめと参考文献 継続とcall/cc 継続とは Schemeでは継続を手続き…

LispとS式 SchemeやCommon LispのようなLisp系言語の強みは強力なマクロ機能にある。LispではプログラムはS式と呼ばれる形式で記述され、それは、Lispがデータとして扱うリストと全く同じ構造を持っている。そのため、LispがデータとしてLispのプログラムを…