ICFP2011 1日目

yoriyuki @yoriyuki

ええー！これで終わり？！ #ICFP

Munechika Sumikawa @sumikawa

Jコミに妖精作戦がある。懐かしい。

Masahiro Sakai @masahiro_sakai

"Implicit Self-Adjusting Computation for Purely Functional Programs" http://t.co/ryHnYM1l #icfp #icfp2011

yoriyuki @yoriyuki

平衡性ってhigher order typeだけで書けるんだろうか。 #ICFP

Masahiro Sakai @masahiro_sakai

.@yoriyuki GADTとかNested datatypesとかを使えば、赤黒木とかAVL木とかの不変条件は表現できるはず。 #icfp #icfp2011

yoriyuki @yoriyuki

Incremental changeを考えると効率がかなり良くなる場合があるけど、そのようなアルゴリズムに気づくのは大変。 #ICFP

山本和彦 @kazu_yamamoto

アルゴリズムを差分アルゴリズムに変えるには？ #icfp

yoriyuki @yoriyuki

@masahiro_sakai いや、さっきの話にあったようにhigher order polymorphic typeで書けるかということです。あ、平衡木であることじゃなくて、平衡性を保つことか。でもそちらもnon-trivialですよね。 #ICFP

yoriyuki @yoriyuki

もうちょっと説明があったらなあ。 #ICFP

山本和彦 @kazu_yamamoto

依存グラフを作るよ。 #icfp

yoriyuki @yoriyuki

前の講演についてです。 #ICFP

yoriyuki @yoriyuki

staticなアルゴリズムに、”modifier”を食わせてDependancy Graphを構築する。 #ICFP

yoriyuki @yoriyuki

明示的にmodifierを食わせるのではなく、implicitにやる。 #ICFP

yoriyuki @yoriyuki

sourceはPure lambda calculus #ICFP