>>684
だから、事務屋には向いてない。
数学に近くてもでも、統計屋とか物理屋にも向いてない。
事実はモデル化すると必ず乖離すると理解してるしな。

単にそれだけ。純粋数学がartでなくscienceである根本。

>>685
型推論は便利だよ。
それが何であろうが良いんだから。インターフェイスで固めるJavaより、推論のある言語の方がはるかに保守性高いよ。