普段はJavaやFortranで数値計算をしているのだが、使える範囲でHaskellも使ってみたくなった。宣言的に書けるのでコードが簡潔になることや、副作用が厳格に管理されている上に、静的な型付けがしっかりしていてコンパイラが賢いので、バグが見つけやすいこ…

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

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