dev-jでいろいろ盛り上がる。 今更だけどPerlで localが動的束縛、myが静的束縛とか。 そういうのが深く脳に染み渡った感じ。 手続きがファーストクラスオブジェクトとして扱える場合、無名関数をほいほい渡すと動的・静的の違いが分かりやすいよなぁ。

またまたdev-jで盛り上がった。 通常カーネルはC言語+アセンブラで書くのが一般的なんですが。 MonaはC++で書いています。更にこれをすすめてScheme（インラインアセンブラやC関数のcallとかの拡張)+少量のアセンブラでカーネルかけそうだよねみたいな。 C++…

負けました。新庄選手はファンサービスがすばらしい。