ohai日誌

_ 型推論

静的型関数型言語がたいていの場合型推論を 持っているのは、理論的な興味のあるのでしょうが、 基本的には高階関数を活用するためという理由が 大きい気がします。

mapやfoldやその他を利用するのに一々 無名関数の引数や返り値の型を書いてはいられません。

C#で型推論がLINQとともに導入されたのも 同じ理由でしょう。

追記: 逆に言えば高階関数や無名関数が無い場合には 型推論はそれほど必要ではありません。あとまあ 高階関数を導入するなら多相型が必須という話もありますが これは別の話。