多少窮屈でも安心して過ごせる静的型の世界で安寧を得ることが今すごく重要なんだろ。わかるよ。

型には反対しないが、複雑さに悩まされない型システムを見たことはない。動的型付けはまだマシだ。
http://d.hatena.ne.jp/katzchang/20080807/p2

だから我々は我々でSmalltalkを使ってヒャッハーしつつ、
型システムが今より賢くなって動的遅延結合性を許容するようになったら喜んでそっちに行くよ。