Lambda Calculus

ラムダ計算（Lambda Calculus）は関数型プログラミングの数学的基盤である。関数定義（λx.M）と適用（MN）だけしかないが、チューリング完全である。

目的

関数型プログラミングの理論的基盤と計算モデルを理解する。

メカニズム

3 つの規則：変数 x、抽象 λx.M（関数の定義）、適用 MN（関数の呼び出し）。β 簡約 ((λx.M)N → M[x:=N]) が計算である。α 変換は束縛変数の名前を変える。チャーチ符号化はラムダでデータを表す。

ユースケース

関数型プログラミング
計算理論のリサーチ
言語デザインの基盤

関連用語

Function Composition

関数合成（Function Composition）は複数の関数を連鎖させるもので、(f∘g)(x) = f(g(x)) と表され、データ変換フローをパイプラインとして表現する。

References