generated at
ラムダ計算
#関数型

歴史
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

>https://ja.wikipedia.org/wiki/ラムダ計算
>Introduction to the Lambda Calculus - Columbia CS
>https://sites.google.com/site/sendailogichomepage/files/ref/ref_03