純粋関数型言語
関数型言語のうち，以下の性質を備えるもの．
副作用を認めない（参照透過性を持つ）．
変数の内容を変更できない．
代入ではなく束縛と呼ぶ．