最終更新:2010-09-16 (木) 10:23:10 (5117d)
関数型言語
Top / 関数型言語
広い意味ではファーストクラスの関数オブジェクトを持つ言語
一般的に全ての関数が副作用を持たないか参照透過性を保つ言語を純粋であるというが、これが厳密な意味での関数型言語である。関数型言語の多くは、カリー化、遅延評価などの機能を備えている。
引数の評価が関数の実行より先に行われることを正格であるといい、そのような性質を正格性と呼ぶ。正格性に関して非正格である言語は通常、デフォルトでの遅延評価を採用している。
