関数型プログラミングは、参照透過性を持つような数学的な関数を使って組み立てた式が主役となる。