1930年代にアメリカの数学者Alonzo Churchによって最初に開発されたラムダ計算は、関数の抽象化に基づいて計算を表現するための正式なシステムです。 それは数学的論理における基本原則です。 もっとわかりやすく言えば、ラムダ計算は、チューリング機械が使用する「ハードウェア」アプローチに代わる単純な計算システムを目指しています。

ラムダ計算はどのように使われますか？

コンピュータプログラミングでは、ラムダ計算は関数を匿名化するために使用され、抽象的な意味でそれらが参照されることを可能にします。 このアクションはそれらを一流のオブジェクトにします：それらは言語の他の実体のように操作することができます。 たとえば、無名関数は他の関数にパラメータとして渡すことができます。

無名関数を使用した最初のプログラミング言語の1つはLISPでした。 LISPの特殊語lambdaは、名前を付けずに関数を定義します。 たとえば、関数x + 2はLISPで次の文を使って匿名で定義できます。

 （λ（x）（+ x 2）） 

無名関数は、JavaScriptを含む多くの現代的なプログラミング言語の重要な部分です。

ラムダ計算、ロジック、プログラミング用語、シンタックスシュガー