日記、書いてないので書いておくと、型推論をやるぞー！ってことで、型推論をいろいろ勉強中です。 型推論って要するに、プログラムにunify(単一化)してやって、型が分かるところから引っ張って来て分かったらそれを使うってだけなんだけど、 それが難しいん…

NetBeans7.1でScala2.9のコンパイルが速くなったっぽいです。 矩形選択も嬉しい。 NetBeans7.1.1も出た！でも、非常に不満な点があって結局今は、NetBeans7.0を使ってます。不満なところは、Subversion周りと、検索が遅くなったのです。 Macだとspotlightで…