[EVENT] 継続フェスタ (Continuation Fest 2008)

• @東京大学大学院情報理工学系研究科創造情報学専攻 秋葉原拠点
  • 某氏に「レポを期待」とか言われたので，今さらながら一応メモをさらしておきます．
  • 当初の予想に反して盛況
  • 時間ぴったりに行った所，すでに机がなかった．
  • 遅れて来た人たちは外のテーブルで中継を見物．
    • 外のテーブルは意外と快適だったらしい

• Typing printf (by 浅井健一さん)
  • とても分かりやすかった．
• times
  • introduction
    • • かけ算のプログラムで 0 が途中に出てくる場合にどうするか．
  • in DIrect Style with exception
    • 例外を使って普通に実装
  • in CPS
    • CPSで書けば例外は要らないけど，全部CPSで書くのってちょっと面倒．．
• sprintf
  • Type-safe な printf
    • 依存型は要らない
    • Olivier Danvy 1998
      • Dependent Type の代わりに CPS
      • type-safe printf in ML. Printf を CPS で．
  • in CPS
  • in Direct Style with shift/reset
  • % の実装
    • % は中置演算子なので (%) と書く必要がある.
    • Oleg さんが Ocaml と Haskell のための shift/reset を実装してる
    • shift/reset はコントロールのための高レベルの抽象化を提供する
  • Delimited Continuation の世界にようこそ

• Demo of persistent delimited continuations in OCaml for nested web transactions(by Oleg Kielyov さん)
  • Oleg さんは Reasoned Schemer isbn:9780262562140 の著者の一人でもありますね．
    • 英語自体は別に聞きづらいとかはなかったけど，席が後ろだったせいか，声が小さくて聞きとりづらくて閉口．
  • デモを見るまで一体何がしたいのか良く分からなかった.
    • デモを見てとても納得
  • Persistent continuations are twice delimited - in control and data
  • Persistence を実現するために継続を使った
    • 終了後に佐野さんがソースを見たがっていた

• Various use of continuations in Kahua - Application in practical web programming experience(by 伊東勝利さん)
  • コンポーネント化
  • 部分継続をサポートした
    • クライアント側のコンテクストを覚えておく必要がある
    • AJAX を使わないで AJAX みたいなことができる
      • AJAX じゃなんで駄目??
    • JavaScrpit 使っちゃってる
    • File Upload はダメ
    • 質疑応答は Read と Print で落ちちゃったみたいで，別の人が通訳をしていた

• Delimited continuation in the grammar of Japanese (by 大竹塁さん)
  • • 疲労のため途中で落ち気味
  • よく分からなかったが，多分 Chris Barker の仕事の日本語ヴァージョンみたいな感じ？
    • 日本語の場合，係り結びとかが扱えて嬉しいとかそういう話？
    • (To do) 形式意味論やってる人に後で聞いてみる．

• Continuations for video decoding and scrubbing (by Conrad Parker さん)
  • Simple Diagram (笑)
    • 動画扱うのには問題がいっぱいあるのは分かったが，結局何だか良く分からないまま終了
      • とりあえず継続ベースの言語が欲しいのは分かった

• Continuing from the past: An approach to building dynamically upgradable applications (by 渡部卓雄さん, 田中祐一さん)
  • 残念ながら途中で落ちてたらしく，あまりメモと記憶が残ってない．．
    • call/ppc : call with placed partial continuation
  • e.g. a round table agent
  • Upgradable Applications

• How to implement continuation only language in gcc 4.x (by 河野真治さん)
  • Conrad Parker さんに「This is the language for you」とか言っていた
  • Lightweight Continuation
  • C tail call elimination
  • CBC は人間のためにデザインされた言語ではなくマシーン用

• Ruby Continuation (by 笹田耕一さん)
  • なんで Ruby で call/cc が実装されているかについて
  • RUBY (FULL) CONTINUATION CONSIDERED HARMFUL
  • Full-Continuation
  • Inconsistency on C Function's Context and Ruby's Context
  • No "dynamic-wind" feature

• 懇親会は諸事情によりパス