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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 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とは? †

Dybvig流の演算子 †

newPrompt, pushPrompt, withSubCont?, pushSubCont?

参考文献 †

• http://www.cs.indiana.edu/~sabry/papers/delim-dyn-bind.pdf
• http://www.cs.indiana.edu/~sabry/papers/monadicDC.pdf