関数型言語

関数型言語（かんすうがたげんご）は、ラムダ計算の概念をプログラミング言語として体現したもの。すべての計算は関数の適用によって行われるというもので、チューリングマシンをベースとしたCやJavaなどの手続き型言語と違い、状態という概念をもたない。そのため参照透過性が保たれるとする。