''例外なんてもう古い!? 近未来の制御演算子を学ぼう!'' (追記歓迎) #contents *限定継続とは? [#u1b8f2d6] 継続は「その後の計算」を表現したものです。対して、限定継続は「特定の範囲のその後の計算」を表現したものです。つまり、継続がグローバルな「その後」とイメージするならば、ローカルな継続が限定継続という感じです。 *限定継続の制御演算子 reset/shiftとは? [#rb0e2fcd] - http://d.hatena.ne.jp/reinyannyan/20080219/p1 - http://community.schemewiki.org/?composable-continuations-tutorial *Dybvig流の演算子 [#p4b09d5d] newPrompt, pushPrompt, withSubCont, pushSubCont *参考文献 [#bba437c4] -[[A Monadic Framework for Delimited Continuations:http://www.cs.indiana.edu/~sabry/papers/monadicDC.pdf]] -- R. Kent Dybvig, Simon Peyton Jones, Amr Sabry -- モナドで限定継続を扱う制御演算子の話。上の Dybvig流というやつ。 -[[Delimited Dynamic Binding:http://www.cs.indiana.edu/~sabry/papers/delim-dyn-bind.pdf]] -- 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):http://lambda-the-ultimate.org/node/1197]] -[[星の贈り物(2006年4月の日記):http://page.freett.com/shelarcy/log/2006/diary_04.html#uduki292006]] -[[星の贈り物(2006年10月の日記):http://page.freett.com/shelarcy/log/2006/diary_10.html#delimted_dynamic_binding_again]] -[[[kahua-dev:01027] 部分継続の使いどころはどこですか:http://mlarchive.kahua.org/mlarchive/kahua-dev/msg01026.html]] -[[Oleg氏による Delimted Continuation への貢献:http://okmij.org/ftp/Computation/Continuations.html]] -- 特にDybvig流演算子のOCamlへの実装は必見。