functional-programming - 用于函数式编程的 lambda 演算

Question

在 lambda 演算中 (λ x. λ y. λ s. λ z. x s (y s z)) 用于添加两个 Church 数字，我们如何解释这一点，是否有用于函数式编程的 lambda 演算的任何好的资源？非常感谢您的帮助

Answer 1

实际上 λ f1。 λ f2。 λ s。 λ z。 (f1 s (f2 s z)) 计算加法，因为它实际上将 (f2 s z)(由 f2 表示的数字)替换为 (f1 s z) 中的“零”。

示例:让我们为 f2 取两个，s s z以展开的形式。 f1 是一个:s z .替换最后一个 z通过 f2，你会得到 s s s z ，三个的扩展形式。

用黑板和挥手会更容易，对不起。