「『脱オブジェクト指向のススメ』について」について、ちょっとだけマジメにコメントすると、すぐに思い出せるだけでもWadlerとかXiとか、「オブジェクト指向は駄目」と言っている（のを私が聞いたことがある）プログラミング言語研究者は少なくありません…

ええと、極めてよくある話なので、どこかへ水を差すつもりはないのですが、今のGoogleはAccept-Languageなどを見ているようで、jaを設定すると英語で検索しても日本語のページが優先的にヒットします。試しに言語の設定でjaを削除してからgoogle.comで何か英…

僕の中や周りでは 「型付け規則」(typing rules)は「正しい型判定Γ├ M : τを導くための（ふつうは帰納的な）ルール」で、 「型推論」(type inference)は「型環境Γと項Mを与えられて、Γ├ M : τなる型τが存在すれば求め、存在しなければエラーとする過程」 だ…