delimited continuation

例外なんてもう古い!? 近未来の制御演算子を学ぼう！ (追記歓迎)

限定継続とは? &dagger;

継続は「その後の計算」を表現したものです。対して、限定継続は「特定の範囲のその後の計算」を表現したものです。つまり、継続がグローバルな「その後」とイメージするならば、ローカルな継続が限定継続という感じです。

限定継続を扱う演算子には主にshift/resetのペアとprompt/controlのペアがあります。それぞれ静的な演算子、動的な動的な演算子と呼ばれます。（その理由はschmeとかのdynamic bindingとかと関係あるらしいけど、よくわかりません）

shift/resetの方はCPS変換による意味論が定義しやすく、扱いやすいという特徴があります。一方でprompt/controlの方が（型付きの場合）表現能力が高いらしいです。

A Monadic Framework for Delimited Continuations
- R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
- newPrompt, pushPrompt, withSubCont?, pushSubCont?

Delimited Dynamic Binding
- Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
- Dynamic Binding と Delimited Continuation を同時に使おうとしたときのセマンティクスと実装について。Oleg氏と話をするならこれは読んでおこう。
An Operational Foundation for Delimited Continuations in the CPS Hierarchy(lambda-the-ultimate)
星の贈り物(2006年4月の日記)
星の贈り物(2006年10月の日記)
[kahua-dev:01027] 部分継続の使いどころはどこですか
Oleg氏による Delimted Continuation への貢献
- 特にdynamic control operator のOCamlへの実装(caml-shift)は必見。多相で永続化可能。ただしバイトコードのみ。
PLT Scheme のなかの人による解説
継続祭り
- 論文一覧
Polymorphic Delimited Continuations
- 多相なshift/resetを作ったという浅井先生の論文
Typed Dynamic Control Operators for Delimited Continuations
- 型付きprompt/controlの表現能力を検証したよという亀山先生の論文