>>654
そのメリットを静的型付けで実現するために型推論があるんだよ。
Haskellでは型を明記しなくてもほとんど推論してくれるから、
動的言語のメリットを持ったまま型の安全性を確保できるようになった。