僕でもわかる継続と部分継続 - まめめも

screenshot

callcc と shift/reset についてわかるとこだけ書いてみます。 継続 callcc という操作は、現在から実行終了まで、継続をまるごと取り出します。例題。 p [1] + callcc {|k| [2] + k.call([3]) } #=> [1, 3] callcc では callcc がリターンしてから実行終了するまでの継続 k が取り出せます。k.call([3]) で継続が呼ばれると、いきなり「callcc が [3] を返した瞬間」に実行が飛びます。つまりこんな感じ。 p ...

http://d.hatena.ne.jp/ku-ma-me/20080417/p1

継続

http://b.hatena.ne.jp/entry/http://d.hatena.ne.jp/ku-ma-me/20080417/p1