math - 了解 lambda 演算有多大帮助？

Question

就目前情况而言，这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放， visit the help center以获得指导。

已关闭 10 年前。

致所有知道的人lambda calculus :在编程方面，它给您带来了什么好处？您会建议人们学习它吗？

Answer 1

lambda 演算的好处在于它是一种极其简单的计算模型，相当于图灵机。但是，图灵机更像是汇编语言，而 lambda 演算则更像是高级语言。如果您学习Church编码，这将帮助您学习称为连续传递风格的编程技术，这对于实现回溯搜索和其他巧妙的技巧非常有用。

lambda 演算在实践中的主要用途是它是研究新编程语言思想的绝佳实验室工具。如果您对新的语言功能有想法，您可以将新功能添加到 lambda 演算中，并且您会得到具有足够表达能力以进行编程的东西，同时足够简单，可以非常彻底地研究。这种用途实际上更多的是语言设计者和理论家而不是程序员。

Lambda 演算本身也非常酷:就像了解汇编语言一样，它将加深您对计算的理解。在 lambda 演算中编写通用图灵机特别有趣。但这是基础数学，而不是实际编程。