関数型言語の履歴
数学の概念を実装したもの
東京大学工学部計数工学科
ソフトウェアがどんどん複雑になるにつれ，それを上手に構造化することがますます重要になっている．関数プログラミングは，ラムダ計算の概念をベースに関数だけで全体が構成され，すべての計算は関数の適用によって行われている．有名な関数型言語には Lisp，Haskell，MLなどがある．関数自体を引数として扱う高階関数と必要になるまで計算評価を行なわない遅延評価という二つの特徴により，関数プログラミングはソフトウェアの構造化に大きく貢献している．また，関数プログラム中のの関数は通常の数学的な関数に似ており，プログラミングを数学的な活動としてとらえて，プログラムのなすべきことの数学的記述から，等式による単純な推論によってプログラムを計算操作することができる．
http://www.keisu.t.u-tokyo.ac.jp/outline/keyword/keyword_mist/04_02.html
