>>24
> ついでに関数型言語の勝たす異論てどのぐらいすごいの？

関数を定義する時に型を宣言しなくてよく、自動的に、
そのように定義できる(最も一般的な)型が与えられる。
もちろん矛盾が存在すれば検出される。