関数型言語のうち，以下の性質を備えるもの．

副作用を認めない（参照透過性を持つ）．

変数の内容を変更できない．

代入ではなく束縛と呼ぶ．