これは、ラムダ計算に関連した特定の問題を議論したいされていません。
アイデアソース：Pythonのラムダ式の突然のラムダ式のラムダ計算とPythonで、私突然無知な力を議論する夕食に向かう途中でラムダ計算の概念ではありません。
まず結論が与えられている：パイソンの相関ラムダ式やラムダ計算の概念はそれほど大きくありません。Pythonでより多くのラムダ式は、匿名関数のシンタックスシュガーとして機能することであるが、使用の利便性のために。匿名式はラムダ計算による概念の際にいくつかあります。
ラムダ計算
ラムダ計算の概念をはるかにPython言語は、ラムダ計算は、1920年代にさかのぼることができ、以前の議論が登場、この時間よりも、それは論理計算を実行するために使用される基本的なツールです。
ラムダは非常にあやふやな概念の音をcalculs：「数学的なロジックでの正式なシステムを結合し、置換変数を使用した機能の抽象化とアプリケーションに基づいて計算を表現するために。」
建設ラムダ項、および、それらの減少に続い：ラムダ計算方法は非常に簡単です。（削減悪い訳が削減や簡素化として理解することができます）
ラムダは、最小構成、唯一の三つの部分を計算します：
- 変数の定義：変数を定義し、値がロジックを表すことができます。
- 定義された関数：関数のルールは、関数のパラメータに定義されているが、制約関数によって制限されます。
- 機能を求めて：解決するために同等の機能を。
唯一の3つの部分が、最低限のラムダ計算の定義を完了します。
削減ルールとしては、それだけで2つのルールが必要です。
- 変数名の変更α-変換：述語計算の一部は、我々は、交換用のルールを呼び出します。
- 法律を置換理解されるように、述語計算部：β-減少関数は、変数に代入します。
ラムダ式でザ・Pythonの
ラムダ式ザ・Pythonは、彼は関数名を表示することなく、無名関数の宣言を定義することができ、シンタックスシュガーです。Pythonの設計はまた、変数バインディングとして、概念ラムダ計算の一部を持っていると、例えば、機能も段変速機として使用することができます。言語は比較的昔ながらのではないです。
次のようにラムダ式の構文規則は以下のとおりです。
ラムダ
ラムダキーワード属する、不可欠であり、valistは空かもしれないが、式は空にすることはできません。
私達はちょうど、Pythonでラムダ式を使用し、完全なラムダ計算を構築することができます。http://matt.might.net/articles/python-church-y-combinator/