ささださんは例外処理後に移るべき継続に関する情報をコンパイル
時にいろいろ解析して、その継続の作成コストを下げることができないか、
について考えてるんですよね。

あいにく、Schemeの場合、
(1) with-exception-handler等の例外プリミティブが構文ではなく
    普通のprocedureであること
(2) 第一級の継続の存在により、スタックフレーム間のオフセットが
    コンパイル時に決定できないこと
があるので、コンパイル時にごにょごにょするのは面倒です。

Gaucheでは、継続保存の必要がある例外プリミティブ 
with-error-handlerの場合、呼ばれた時点の継続フレームの
ポインタと、動的環境へのポインタを保存しています。素直な実装です。
ここの継続はone-shot, upward onlyなので、call/ccの継続ほど
重くありません。(call/ccの継続は全ての継続フレームをスタックから
ヒープにコピーする)

Rubyの場合、継続の実装をどうするかで(2)の要素は変わってきそう
ですね。スタックまるごとコピーバックならオフセットは変わらない
ですが、スタックオーバフローとかの扱いはどうしてるんでしょう。

--shiro


--
ML: langsmith quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml