あとで読む部分継続（限定継続）（と、継続）

「あとで読む」的なもの。

• Gauche ユーザリファレンス: 9.17 gauche.partcont - 部分継続
• Scheme:部分継続:イテレータの反転
• 部分継続について本気出して考えてみた - (new Hatena).blog()
• 部分継続便利だなー。 - podhmoの日記
• composable-continuations-tutorial
• delimited continuation - ocaml-nagoya
• Paste number 8952: SHIFT/RESET 'generator' example
• 星の贈り物(2007年11月の日記)
• 星の贈り物(2006年10月の日記)
• d.y.d.
• w.l.o.g.

余談

面白かったのが

• Island Life - returnを継続プリミティブにする話

経由で読んだこれ

• 思考実験: returnを関数と思ってみる話 - d.y.d.
• 継続の話 (contd.) - w.l.o.g.

「難しいのは継続ではないcallccだ…とすると、 難しいのは限定継続ではなくshift/resetなのでは？」

これわかるような気がします。継続自体も難しいけど、call/cc がまた難しい。以前 let/cc はわかるけど call/cc がわからないという状態がありました。。今でも let/cc ベースで call/cc を認識しているわけですが・・・。（The Seasoned Schemer の影響もあり）

こんな感じで・・・

(let1 loop #f
  (let1 i 0
    ;; (let/cc c (set! loop c))
    (call/cc (^c (set! loop c)))
    (print i)
    (inc! i)
    (when (< i 10)
      (loop))))

• let/cc - Gauche ユーザリファレンス: 6.17 制御

余談2

そういえば、継続といえば、amb カッチョイイですよね。

• gist: 638160 - GitHub

（return の記事おもしろいなあ。。）

ついでみたいだけど

• Scheme:使いたい人のための継続入門
• なんでも継続
• Scheme:なぜSchemeにはreturnが無いのか