Lambda演算与格式

以下是将lambda函数的外观“映射”到scheme中的编写方式的正确方法吗

（λx.x+1）5↦ <代码>（λ（x）（+x1）5）

此外，lambda函数在形式表示法中是如何“命名”的？是否有与此对应的内容：

添加一个=（λx.x+1）

（λx.x+1）5是对参数5的应用。在方案代码中，这相当于：

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

在这里，

（lambda（x）（+x1））

构成函数，必须将它放在函数调用上下文中，方法是将它用参数括在括号中

就形式表示法命名而言，这不是lambda演算本身的一个特性。在文本中，人们经常发现使用某种标识符符号来方便组合的表达；在这些情况下，似乎通常首选非常简单的标识符。这是真正的数学符号，不是编程符号。我看到了这两种情况：

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

（λx.x+1）5是参数5的应用。在方案代码中，这相当于：

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

在这里，

（lambda（x）（+x1））

构成函数，必须将它放在函数调用上下文中，方法是将它用参数括在括号中

就形式表示法命名而言，这不是lambda演算本身的一个特性。在文本中，人们经常发现使用某种标识符符号来方便组合的表达；在这些情况下，似乎通常首选非常简单的标识符。这是真正的数学符号，不是编程符号。我看到了这两种情况：

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

但是lambda演算中没有命名。命名是一个元符号，不是LC本身的一部分。@WillNess——足够正确，不是在lambda演算中；但是，涵盖lambda演算的正式文本通常使用某种标识符符号来更简洁地表示组合。我将添加一个注释，以强调这不是实际lambda演算的一部分。但是lambda演算中没有命名。命名是一个元符号，不是LC本身的一部分。@WillNess——足够正确，不是在lambda演算中；但是，涵盖lambda演算的正式文本通常使用某种标识符符号来更简洁地表示组合。我将添加一个注释，以强调这不是实际lambda演算的一部分。