>>854
>1 関数がファーストオブジェクト　→　アルゴリズムが単純になる
>2 型推論　　　　　　　　　　 →　冗長な型指定を省略できる

これらはML系を含むモダンな静的型付け関数型言語に共通な特徴

>3 参照透明性　　　　　　　　 →　状態変化によるバグが減る

正確には「参照透明性が強制される」と言うべき
結果として3Dレンダリング処理のように破壊的代入のほうが効率的なプログラムでは、
実行時間に問題が出る(もちろん多くのケースではバグが減る利点のほうが大きいけど)