>>620
んなこたーない。

型推論があっても、型があることには変わりはない。
ある関数がどの型において「のみ」実行できるべきかを
分析・設計フェイズで確定できるというのは幻想だね。
それができるんだったらウォーターフォール開発が有効
だってことになる。プロトタイピング→スパイラルって
方法論は、ポリモーフィズムを前提にした開発手法でしょ。

型推論が型無しに劣らない柔軟性を確保できるって話は
まったく納得できないね。つーか、関数型言語の扱う型
とOOPLの扱うクラスとでは、オブジェクトの粒度が違う
と思う。（クラスの方が大きくなる傾向にある、という
こと）

# 俺も関数型マンセーだけどさ。