问题标签 [lambda-calculus]

我知道：

我想写一个这样的列表

，这将是这样的：

但我不知道如何将“nil”编译成 S、K 和 I 组合器。有人知道吗？

在此先感谢埃德温·何塞·帕拉思卡尔

我正在学习 lambda 演算，但我似乎无法理解数字 0 的编码。

“接受一个函数和第二个值并在参数上应用函数零次的函数”如何为零？还有其他方法可以编码零吗？这里有人可以帮我编码0吗？

似乎数学和计算机编程语言的融合正在发生强烈的运动，这在 lambda 演算对现代语言的影响中得到了明显的证明。大多数时候我不思考数学，我思考逻辑。在我看来，许多可以用数学建模的现象也可以用逻辑建模。

我认为我们永远不会看到纯逻辑语言或纯数学语言在通用编程中获得牵引力，但我想盘点一下每种范式的好处。我想知道：

• 对编程语言或数学语言特征建模有什么好处？
• 根据形式逻辑原则对语言建模有什么好处？
• 通用语言可以放弃逻辑或数学吗？
• 有哪些语言真正展示了这两种方法的好处？
• 哪些硬件特性使一种方法比另一种方法更具吸引力？

在 lambda 演算 (λ x. λ y. λ s. λ z. xs (ysz)) 中用于两个教堂数字的加法，我们如何解释这一点，有没有什么好的资源用于函数式编程的 lambda 演算？非常感谢您的帮助

Haskell 和 Lambda 演算中的 Python 代码是什么？

我在 lambda 演算中的尝试

这是 AND 运算符的 lambda 演算表示：

任何人都可以帮助我理解这种表示吗？

我可以使用方案相当容易地定义教堂数字：

但是，这并不容易识别(f f)0 和 (f (ff)) 是 1。有没有办法让这些数字更具可读性？理想的情况是：

该示例在方案中，但我会在任何 lisp 中回答。

有时在Scheme中，我的函数接受这样的参数

你把这种元素的“列表”称为什么a1 a2 a3？我认为您不能将其称为列表，因为列表包含在括号中，并且元素以逗号分隔。

我试图更好地掌握类型如何在 lambda 演算中发挥作用。诚然，很多类型理论的东西都超出了我的想象。Lisp 是一种动态类型的语言，它会大致对应于无类型的 lambda 演算吗？还是有某种我不知道的“动态类型的 lambda 演算”？

我被困在以下步骤中。如果有人可以帮助我，那就太好了：

我的步骤是：

括号好不好？我真的对替换和括号感到困惑。有没有一种正式的、更简单的技术来解决这些问题？