すべての式が値を持っていて、それらの関数の定義と関数の呼び出しだけの組み合わせでプログラムを作る言語である。

関数を定義し、それらの関数を組み合わせることにより問題を表現する

引数に対して関数を適用（apply）することにより計算を行う λ計算 を理論的基盤とする

関数型言語は、関数を数値と同じくデータとして扱うことができる

引数や戻り値とすることもできる

不変性(immutability)

関数型プログラミング（functional programming）

関数（function）

rag-pub - /rag-pub/関数型言語