delimited continuation のバックアップ(No.5)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• delimited continuation へ行く。
  • 1 (2008-02-11 (月) 11:20:28)
  • 2 (2008-02-11 (月) 12:22:43)
  • 3 (2008-02-13 (水) 13:06:09)
  • 4 (2008-02-13 (水) 13:06:09)
  • 5 (2008-02-28 (木) 05:52:59)
  • 6 (2008-02-28 (木) 05:52:59)

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

限定継続とは? †

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

限定継続の制御演算子 reset/shiftとは? †

• http://d.hatena.ne.jp/reinyannyan/20080219/p1
• http://community.schemewiki.org/?composable-continuations-tutorial

Dybvig流の演算子 †

newPrompt, pushPrompt, withSubCont?, pushSubCont?

参考文献 †

• A Monadic Framework for Delimited Continuations
  • R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
  • モナドで限定継続を扱う制御演算子の話。上の Dybvig流というやつ。
• 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 への貢献
  • 特にDybvig流演算子のOCamlへの実装は必見。
• PLT Scheme のなかの人による解説
  • An Introduction to the Prompt Primitives
  • Going Further with the Primitives
  • Odd and Ends