din*_*sim 4 lambda functional-programming lambda-calculus
在lambda演算中(λx.λy.λs.λz.xs(ysz))用于添加两个教会数字我们如何解释这一点,是否有任何好的资源用于函数式编程的lambda演算？非常感谢您的帮助
实际上是λf1.λf2.λs.λz.(f1 s(f2 sz))计算加法,因为它有效地将由f2表示的数字(f2 sz)代入内部的"零"(f1 sz).
示例:我们s s z以扩展形式为f2取两个.f1是一个:s z.用zf2 替换最后一个,然后得到s s s z三个扩展形式.
对于黑板和挥手,这会更容易,抱歉.