PPL2006 サマースクール

に参加してきました。
内容は、

• 木下先生：「圏論の諸相」
• 住井先生：「２時間で真似(まね)ぶ関数型言語のコンパイラ」
• 田辺先生：「述語抽象化によるアルゴリズムの検証 〜 シェープ解析を例として」

の三つでした。
どれも興味深かったのですが、住井先生(id:sumii)のMinCamlのお話が個人的に一番よかった。
特に、MinCamlの設計の話（裏話？）は、色々面白かったです。「教育用のコンパイラ」に徹しているなぁと。
やっぱなんでも作者の話が一番ですね。