为什么 lambda 运算符看起来像它的样子?
Why does lambda operator look as it does?
我想知道为什么 lambda 运算符看起来像这样。这个名字的起源是 lambda calculus 但我不确定为什么语言设计者选择 => 来表示它。
我试图想象其中实际的 lambda 符号,但我看不到它。是不是因为一些历史参考,他们为此选择了平等和不平等的标志?它与我遗漏的其他方向(<= 运算符)的弱不平等有任何关联吗?
我用谷歌搜索了它,但奇怪的是,那里似乎什么也没有。或者我只是错过了它...
如果我们在其他语言(C++、Java 等)中得到 lanbd aexpression,运算符看起来是否相同(由于共同的原因,我不知道)?或者我们可以期望 lambda 运算符在语言之间实际上有所不同吗?
因为它类似于 lambda 表示法中使用的箭头符号?
https://en.wikipedia.org/wiki/Lambda_calculus
在有关 Lambda 表达式的 C# wiki 文章中做了子注释:
https://en.wikipedia.org/wiki/C_Sharp_(programming_language)
我想知道为什么 lambda 运算符看起来像这样。这个名字的起源是 lambda calculus 但我不确定为什么语言设计者选择 => 来表示它。
我试图想象其中实际的 lambda 符号,但我看不到它。是不是因为一些历史参考,他们为此选择了平等和不平等的标志?它与我遗漏的其他方向(<= 运算符)的弱不平等有任何关联吗?
我用谷歌搜索了它,但奇怪的是,那里似乎什么也没有。或者我只是错过了它...
如果我们在其他语言(C++、Java 等)中得到 lanbd aexpression,运算符看起来是否相同(由于共同的原因,我不知道)?或者我们可以期望 lambda 运算符在语言之间实际上有所不同吗?
因为它类似于 lambda 表示法中使用的箭头符号?
https://en.wikipedia.org/wiki/Lambda_calculus
在有关 Lambda 表达式的 C# wiki 文章中做了子注释:
https://en.wikipedia.org/wiki/C_Sharp_(programming_language)