最近のJavaのGenericsのバグ(?)も形式的意味論があれば防げたかもしれない。
http://d.hatena.ne.jp/sumii/20060928/1159403268