関数型プログラミング
関数型プログラミング言語とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語ともいう。全ての関数が参照透過性を持つようなものを、特に純粋関数型プログラミング言語(英語版)という。そうでないものを非純粋であるという。
関数型プログラミング言語の多くは、言語の設計において何らかの形でラムダ計算が関わっている。ラムダ計算はコンピュータの計算をモデル化する体系の一つであり、記号の列を規則に基づいて変換していくことで計算が行われるものである。