Lambda微积分方案

Question

下面是“映射”lambda函数的正确方式吗？

(λx.x+1) 5↦(lambda (x) (+ x 1) 5)

此外，lambda函数在形式表示法中是如何命名的？是否有与此相对应的东西：

添加一个= (λx.x+1)

Answer 1

(λx.x+1)5是参数5的应用程序。在计划代码中，这相当于：

((lambda (x) (+ x 1)) 5)

在这里，(lambda (x) (+ x 1))构成函数，它必须放在一个函数调用上下文中，方法是将它用参数括在括号中。

就正式符号命名而言，这不是lambda微积分本身的特性。在文本中，经常发现使用某种标识符符号来方便组合的表达；在这些情况下，似乎通常倾向于非常简单的标识符。这实际上是数学符号，而不是编程符号。我见过这两种情况：

A ≡ λx.x+1
A = λx.x+1