如果您要阅读问题陈述，例如在 TopCoder 上找到的内容，并将其转换为 lambda 演算表示，那么将其“转换”为 Haskell 或 Lisp 代码是否是一个简单的练习？
换句话说，是否可以使用 lambda 演算形式系统解决问题，然后用函数式编程语言轻松实现？
问问题
668 次
2 回答
3
Haskell 的语法与 lambda 演算非常相似。您的问题将是 Haskell 的类型检查器不会接受无类型 lambda 演算中的某些术语。
出于好奇，到底是谁用lambda 演算解决了 TopCoder 问题？这听起来很不平凡。o_O
于 2012-04-18T09:59:05.903 回答
0
这是一个很难的问题。理论上，是的。在实践中，有点。一般来说，我会说定义的可计算函数可以有效地实现（在程序员努力的时间空间内），是的，但这实际上取决于对编程语言和所讨论数学的熟悉程度，而不是这样做的可能性. 例如，我想可以实现一个 lambda 演算解释器，然后我将您引导至 ['Visual Automata Simulator]' 1以获取包含在平凡包装器中的图灵模型示例。
于 2012-04-18T06:28:36.833 回答