2008-04-13 [長年日記]
λ. 継続フェスタ2008 (Continuation Fest 2008)
遅れていったら、会場が既にでびっくり。
田中裕一さんに久しぶりに会えて懐かしかったのと、田中さんの師匠の渡部卓雄先生にお会いできて良かった。 しかし、 higeponさんやlethevertさんも来ていたのね。 いつものRHGっぽいメンバでつるんでいたら、挨拶しそこねてしまった。 もったいないことをした。
(後で書く)
Typing printf (継続を使った printf の型付け) by 浅井 健一
遅れていった＆資料を会場に忘れてきてしまったので、内容を把握していないのだけど、タイトルからすると“Polymorphic Delimited Continuations”(c.f. ヒビルテ (2008-04-05)) で例として使われていた話だと思う。
Demo of persistent delimited continuations in OCaml for nested web transactions (入れ子になった web トランザクションのための永続的限定継続のデモ) by Oleg Kiselyov
キャプチャした部分継続をディスクに書き出すというのが、Kahuaとかと違う点か。 実装については良く分からず。
Various use of continuations in Kahua - Application in practical web programming experience - (Kahuaにおける継続の様々な使い方 - プラクティカルな webプログラミングの経験 -) by 伊東 勝利
.
Delimited continuation in the grammar of Japanese (日本語の文法における限定継続) by 大竹 塁
日本語の文法における限定継続? - ヒビルテ (2008-04-07) では「誰か」「誰も」の「か」「も」を直接 reset に対応させるためにコジツケっぽいことをしたけど、実際には「誰も」を単に「shift k. ∀x. k x」で解釈するような解釈だった。 Chris Barker の “Continuations in Natural Language”(c.f. ヒビルテ (2008-03-13)) ではCPSで書かれていたけど、shift/reset を使って書けばこうなるかという感じ。
Focusや疑問文の話もあった。
「太郎が誰を褒めましたか?」は「Q λx. praised(taro, x)」で解釈するのか。 疑問文を扱うためのオペレータQを関数に対して適用することで疑問文を扱うのね。面白い。 ただ、Qの意味論はどうなっているんだろう。
Continuations for video decoding and scrubbing (ビデオのデコードとスクラビングのための継続) by Conrad Parker
.
Continuing from the past: An approach to building dynamically upgradable applications (過去からの継続: 動的に更新可能なアプリケーションを構築するアプローチ) by 渡部 卓雄 and 田中 裕一
.
How to implement continuation only language in gcc 4.x (gcc4.x を使った「継続オンリーな言語」の実装法) by 河野 真治
Implementing Continuation based language in GCC に資料あり。
懇親会で聞いた話が面白かった。
Ruby Continuation (Ruby における継続) by 笹田 耕一
前田さん犯罪者扱いヒドスwww
callccメソッドの名前を call_with_current_continuation__if_you_call_this_method__we_cant_guarantee_normal_execution とかに変えるというアイディア。
Ruby's Full Continuation Considered Harmful
dynamic-wind の話が出ていたので、「Why ruby lacks dynamic-wind? Is there any difficulties that are specific to ruby?」とか質問してみたら、「No one proposed it.」とのこと。 rubyでcall/ccを真面目に使っている人なんか誰もいないことの一つの証左かと思う。
【2009-02-14追記】 ku-ma-meさんによる dynamic-wind の実装: Ruby に callcc を公式にサポートさせよう - まめめも
