>>616
最初からHaskellかMLかLispをやればオブジェクトなんぞ知らなくてよし。
OOやりたきゃCLOSやOcamlに流れればよし。型推論のある言語を使えば、型無しに
劣らない柔軟性は確保できるし、関数型言語は慣れれば激しく生産性高し。
でも、型推論機構のある言語も入出力やCとかとのインターフェースの部分で型安全やら参照透過が
必ずしも保証できないからなぁ。Haskellはmonadという魔界に入って回避してるけど。

そういえば、Satherの型システムは腐り果てたシロモンだった気がしたが。