【中配】加号乘加号等于什么？ - 2swap 核心概念：丘奇数（Church Numerals） 在 $\lambda$ 演算中，没有现成的数字。我们用“操作的重复次数”来定义数字。 数字 $n$：代表将一个函数作用于一个初始值 $n$ 次。 加法（PLUS）：是一个接受两个数字并返回它们相加结果的函数。 可视化：Tromp 图与 $\beta$ 归约 2swap 使用了精美的 Tromp 图（一种视觉化 $\lambda$ 表达式的工具）来展示计算过程。 函数即形状：每一个 $\lambda$ 表达式都