lambda-calculus - 为什么 lambda 演算(根本)没有被大量使用？

Question

为什么纯无类型 lambda 演算经常被描述为无法使用？

有了合适的函数库，它会不会与任何其他函数式语言大致相同？

Answer 1

速度不是大问题。例如，您可以决定使用教堂数字但优化实现，以便像往常一样表示数字 - 以对用户完全透明的方式。结果数字显然与在任何语言中的表现一样好——除非人们尝试实现自己的算术运算并发现它们不如实现中的算术运算快，或者当他们发现使用内置 7 时除外。比相应的 lambda 表达式快得多……但这指向一个更糟糕的问题。在普通的 lambda 演算中，只有一个参数函数。这意味着您正在使用一种非常低级的类汇编语言，其中没有类型错误，因为一切都只是函数。事实上，如果你只坚持使用简单的 lambda 演算，根本就没有错误。机器代码的类比在这里非常相关:在那里，您还可以做任何您想做的事情——添加两个字符串，结果将是一些随机数。在 lambda 演算语言中，将一些列表编码发送到数字函数，它会很高兴地返回一个(虚假的)答案。