为什么Java中的lambda表达式被称为“lambda”？

问题描述：

为什么Lambda表达式被命名为“Lambda”而不是“theta”或“gamma”等？为什么Java中的lambda表达式被称为“lambda”？

它来自https://en.wikipedia.org/wiki/Lambda_calculus –

如果你想要更多的细节，你应该去[cstheory.se]。 –

这可以通过相当简单的在线搜索轻松找到。 –

答

怀特黑德和罗素有一个使用xˆ的符号。当Church开发lambda微积分时，他有^x基于那个和后来的λx，因为那时用现有的排版更容易打印，并且因为^看起来有点像Λ而λ是小写Λ。

由于λ被大量使用，Church的系统被称为λ-calculus。然后，它在影响计算机科学和后来的实际计算时对函数进行操作，所以名称“lambda”传播到这种情况。

你有参考吗？ –

@ThorbjørnRavnAndersen可悲的是，我不记得我在哪里读到教会选择基于Whitehead和Russell的'λ'。 –