python lambda "本当に正式な"λ-calculusですか、それとも単に名前を共有していますか？
時々私はPython lambdaを使用します。正式なラムダ計算をそれで行うことができると言っても大丈夫ですか？）使用したばかりですが、 pythonラムダと私が読んだラムダ計算はアロンゾチャーチによって行われました。Javascriptでも使用しました。これは関数型言語（Haskell、Scheme /など）では一般的ではありません。 LISP、Clojure ...）およびJavaまたはC（++）でラムダが使用されているのを見たことはありませんか？
このサイトでは、「引数として別の関数に渡すことができる関数」と述べています。
しかし、どのようにしてそれに慣れると、どこから恩恵を受けることができるのかわかりますか？代わりにSQL、JPQL、GQLなどで実行できる場合、クエリ言語で実行するほうがよいでしょうか。
Pythonのlambda式は実数です 型付けされていないλ計算ラムダ式 。
それらは正式な定義に適合します。 onepython式は、変数（無料またはそれ以外）と他の関数への参照（抽象記号）に基づいてのみ表すことができます。 Pythonも式で括弧を使用します。
lambdaが完全な関数定義よりも適切で便利な場所で使用します。 python def functionname(argumentlist):構文は、ステートメント;を形成します。 Pythonでは、expressions内にステートメントを置くことはできません。一方、lambdaは式なので、lambdaを使用して、コールバック関数をインラインで挿入できます。
_map(lambda x, y: x[y+5], [(mapping1, integerkey1), (mapping2, integerkey2)])
_上記の例は、式のみで構成されています。 python map() function は、最初の引数として、2番目の引数で指定されたリストのすべての要素に適用される呼び出し可能オブジェクトを受け取ります。上記の例では、lambda式を使用して呼び出し可能オブジェクトを定義する方が、関数ステートメントを使用するよりもはるかに簡単です。
_def mapcallback(x, y):
return x[y + 5]
map(mapcallback, [(mapping1, integerkey1), (mapping2, integerkey2)])
_関数の完全な構文では、名前を割り当て、関数定義を別々の行に配置し、returnステートメントを使用して式の結果を返す必要があります。