什么是lambda（函数）？

对于一个没有计算机科学背景的人来说，计算机科学界的lambda是什么？

当前回答

lambda演算是一种一致的替代数学理论。例如，在学校数学中，人们可以看到x+y=5与x−y=1配对。除了处理单个方程的方法外，还可以将这两个方程的信息放在一起，前提是交叉方程的替换是合乎逻辑的。Lambda演算编纂了进行这些替换的正确方法。

假设y=x−1是第二个方程的有效重排，这：λy=x–1表示用符号x−1代替符号y的函数。现在想象将λy应用于第一个方程中的每个项。如果项是y，则执行替换；否则什么都不做。如果你在纸上这样做，你会看到应用λy将如何使第一个方程可解。

这是一个没有任何计算机科学或编程的答案。

我能想到的最简单的编程示例来自http://en.wikipedia.org/wiki/Joy_（编程语言）#如何工作：

下面是如何在命令中定义平方函数编程语言（C）：int平方（int x）{返回x*x；}变量x是一个形式参数，由实际调用函数时要平方的值。在函数中语言（方案）将定义相同的功能：（定义正方形（λ（x）（*x x）））这在很多方面都不同，但它仍然使用形式参数x以相同的方式。

补充：http://imgur.com/a/XBHub

其他回答

在CS的上下文中，lambda函数是一个抽象的数学概念，它解决了数学表达式的符号求值问题。在这种情况下，lambda函数与lambda项相同。

但在编程语言中，这是不同的。这是一段被宣布为“到位”的代码，可以作为“一流公民”传递。这个概念似乎很有用，因此它几乎进入了所有流行的现代编程语言（参见lambda函数everwhere post）。

它指的是lambda演算，这是一个只有lambda表达式的形式系统，lambda表达式表示一个函数，该函数将一个函数作为其唯一参数并返回一个函数。lambda演算中的所有函数都是这种类型的，即λ：λ→ λ.

Lisp使用lambda概念来命名其匿名函数文字。此lambda表示一个函数，它接受两个参数x和y，并返回它们的乘积：

(lambda (x y) (* x y))

它可以这样在线应用（计算为50）：

((lambda (x y) (* x y)) 5 10)

有点过于简单：lambda函数是一个可以传递给其他函数的函数，它的逻辑被访问。

在C#中，lambda语法通常以与匿名委托相同的方式编译为简单方法，但它也可以分解并读取其逻辑。

例如（在C#3中）：

LinqToSqlContext.Where( 
    row => row.FieldName > 15 );

LinqToSql可以读取该函数（x>15）并将其转换为实际的SQL以使用表达式树执行。

上述声明变为：

select ... from [tablename] 
where [FieldName] > 15      --this line was 'read' from the lambda function

这与普通方法或匿名委托不同（它们实际上只是编译器的魔法），因为它们无法读取。

并非C#中所有使用lambda语法的方法都可以编译为表达式树（即实际的lambda函数）。例如：

LinqToSqlContext.Where( 
    row => SomeComplexCheck( row.FieldName ) );

现在无法读取表达式树-无法分解SomeComplexCheck。SQL语句将在没有where的情况下执行，数据中的每一行都将通过SomeComplexCheck进行处理。

Lambda函数不应与匿名方法混淆。例如：

LinqToSqlContext.Where( 
    delegate ( DataRow row ) { 
        return row.FieldName > 15; 
    } );

这也有一个“内联”函数，但这一次它只是编译器的魔法——C#编译器会将其拆分为一个具有自动生成名称的新实例方法。

匿名方法不能被读取，因此逻辑不能像lambda函数那样被翻译出来。

@Brian我一直在C#、LINQ和非LINQ运算符中使用lambdas。例子：

string[] GetCustomerNames(IEnumerable<Customer> customers)
 { return customers.Select(c=>c.Name);
 }

在C#之前，我在JavaScript中使用匿名函数来回调AJAX函数，甚至在AJAX这个词出现之前：

getXmlFromServer(function(result) {/*success*/}, function(error){/*fail*/});

不过，C#lambda语法的有趣之处在于，它们本身的类型无法推断（即，您不能键入var foo=（x，y）=>x*y），但根据它们被分配给的类型，它们将被编译为表示表达式的委托或抽象语法树（这就是LINQ对象映射器如何实现“语言集成”的魔力）。

LISP中的Lambdas也可以传递给引号运算符，然后作为列表列表进行遍历。一些强大的宏是这样生成的。

我喜欢这篇文章中对Lambdas的解释：LINQ的演变及其对C#设计的影响。这对我来说很有意义，因为它为Lambdas展示了一个真实的世界，并将其作为一个实际的例子。

他们的快速解释：Lambdas是将代码（函数）视为数据的一种方式。

推荐文章