ラムダ計算

歴史

1930 年代, Princeton 大学の Alonzo Church によって導入された計算モデル

Benjamin C. Pierce (2013-03-26). 型システム入門 プログラミング言語と型の理論 . undefined, 528p.

概要

$ f(x)=x+2

$ \lambda x.x+2

$ f(3)

$ (\lambda x.x+2)3

関数を値として扱うことにする。引数に関数を渡し、さらにその関数に3を適用する関数を考える

$ \lambda f.f3