Rubyistに紛れ込んだCaml使い

greenteaさんを探して花園神社へ。向かう途中に迷子になって、ドンキの袋を持ってる人だと検討を付けてみた。正解。

大久保公園で宴会。シート2枚で別れてしまった。こっちに、酒井さんとSMLの発表された上野さんとOnionのみずしまくんが集まってしまい、なぜかIsabel/HOLのコアとなっている理論は？とかRank-n polymorphismとか型推論の型環境に対する環境とかについて盛り上がる。(ほとんどは)私は聞いていただけでしたが。

7時になったので移動。

akr師匠から、丁寧にダメだししていただいて、大変に勉強になった。しれっと増井さんがいらっしゃったのには、ほんと驚いた。

Rubyistをあまり知らないので、「おおナマ○○さんだ」みたいな感動がいまいち得られなかったのは残念。

そしてTXの終電に乗り遅れた。ミッドナイトつくば号たけえーー！