functional programming languages

関数型言語（かんすうがたげんご）は、ラムダ計算の概念をプログラミング言語として体現したもの。すべての計算は関数の適用によって行われるというもので、チューリングマシンをベースとしたCやJavaなどの手続き型言語と違い、状態という概念をもたない。そのため参照透過性が保たれる。簡潔にいえば、変数への代入が最初の定義時しか起こらない言語の事である。多くはファーストクラスの関数オブジェクト、カリー化、遅延評価などの機能を備えている。広い定義ではLISPやSchemeは関数型言語に分類されるが、変数の書き換えが可能なため、厳密な定義ではこれらは関数型言語の機能を備えた手続き型言語であるとされる。
Wikipedia.orgをもっと見ると…