最終更新:2010-09-16 (木) 10:23:10 (2534d)  

関数型言語 はてなブックマークを見る
Top / 関数型言語

広い意味ではファーストクラスの関数オブジェクトを持つ言語

一般的に全ての関数が副作用を持たないか参照透過性を保つ言語を純粋であるというが、これが厳密な意味での関数型言語である。関数型言語の多くは、カリー化遅延評価などの機能を備えている。

引数の評価が関数の実行より先に行われることを正格であるといい、そのような性質を正格性と呼ぶ。正格性に関して非正格である言語は通常、デフォルトでの遅延評価を採用している。

  • 静的型付け・純粋・非正格遅延評価

用語

手探りの私にもわかる気がしている関数型言語

手探りの私にもわかる気がしている関数型言語 from mitsutaka mimura

参考