なんというかなぁ、sumim さんの紹介された論文のタイトルが「Interfaces for Strongly-Typed Objecect-Oriented Programming」だというのを忘れていませんか。 interface と型チェックの有無 #2 - odz buffer いつから、suminさん紹介の論文に関する話題に…