関数型言語
すべての式が値を持っていて、それらの関数の定義と関数の呼び出しだけの組み合わせでプログラムを作る言語である。
関数を定義し、それらの関数を組み合わせることにより問題を表現する
引数に対して関数を
適用
（
apply
）することにより計算を行う λ計算 を理論的基盤とする
関数型言語は、関数を数値と同じくデータとして扱うことができる
引数や戻り値とすることもできる
不変性
(
immutability
)
参照透過性
高階関数
遅延評価
型安全
宣言的
分散処理
functional language
関数型プログラミング
（
functional programming
）
関数
（
function
）
LISP
Haskell
副作用
rag-pub
-
/rag-pub/関数型言語
関数型言語 - Wikipedia
Functional programming - Wikipedia
#functional-programming