Lambda 哪些语言功能可以';不能用λ来定义吗?

Lambda 哪些语言功能可以';不能用λ来定义吗?,lambda,functional-programming,language-design,language-features,Lambda,Functional Programming,Language Design,Language Features,看起来lambda几乎可以用于任何事情(即使它看起来更复杂),但它确实有其局限性 lambda没有涵盖哪些用例?lambda(即函数)本身不是很有趣。以下是JavaScript中的一个函数: 函数id(x){ 返回x; }你必须更具体一点——因为现在我要回答:Church、Gödel和Turing发现的东西都是同样强大的(另请参见),我不确定我是否理解你的说法。你什么都说,为什么这么说?愚蠢的编辑错误对不起——如果你说的是lambda微积分,那么从理论的角度来看,它可以做任何现代计算机都可以计

看起来lambda几乎可以用于任何事情(即使它看起来更复杂),但它确实有其局限性

lambda没有涵盖哪些用例?

lambda(即函数)本身不是很有趣。以下是JavaScript中的一个函数:

函数id(x){
返回x;

}
你必须更具体一点——因为现在我要回答:Church、Gödel和Turing发现的东西都是同样强大的(另请参见),我不确定我是否理解你的说法。你什么都说,为什么这么说?愚蠢的编辑错误对不起——如果你说的是lambda微积分,那么从理论的角度来看,它可以做任何现代计算机都可以计算的事情——我链接了Wadler的演讲(他做了几次,还有一篇关于它的论文)这真的是一个很好的历史和哲学的起点。我特别谈论lambda作为一种语言特性作为一种语言特性,它只是一个未命名的函数+闭包-所以你可以用函数做你能做的一切我喜欢你的答案,这正是你能够独立学习这些东西的基础。