動的型付け言語は、evalや実行時型拡張を制限して
型推論を付ければ静的型付け言語にできる。
もちろん制限付きであってもJavaよりずっと簡潔なコードになる。

一方Javaには >>263 みたいな型推論しか無いんだから、
Javaのドカタが型推論を憎む気持ちは分かるよ。
すっぱい葡萄ってやつだね。