>>664
wikipediaにはこんなふうに書いてあるのですが、

> 型推論を持つ言語としてはHaskell、ML、Vala、C#、Scala、Objective Caml、
> D言語、Concurrent Cleanなどがある。JavaやC++0xでも導入が検討されている。
> 静的型付け関数型言語のほとんどが型推論の機能を持っている。

つまり静的言語はいいよねって話ですか？