2017-05-26 72 views
-8

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

+1

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

+0

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

+0

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

回答

3

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

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

+0

你有参考吗? –

+0

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