如何使教堂数字在 lisp 中更易于阅读？

Question

我可以使用方案相当容易地定义教堂数字：

> (define f (lambda (x) x))
> (f f) ;0
#<procedure:f>
> (f (f f)) ;1
#<procedure:f>

但是，这并不容易识别 (ff) 是 0 且 (f (ff)) 是 1。有没有一种方法可以我可以让这些数字更易读吗？理想的情况是：

> (f f)
0
> (f (f f))
1

这个例子在方案中，但我会用任何 lisp 来回答。

Answer 1

首先让我们定义真正的教堂数字，它具有 0 != 1 的理想属性：

(define zero (lambda (f x) x))
(define (succ cn) (lambda (f x) (f (cn f x))))

因此 zero 是 0 的教堂表示，(succ Zero) 1，(succ (succ 零)) 2 等等。

现在，由于这些只是函数，因此无法告诉 repl 将它们显示为数字，但您可以定义一个函数 cn-to-int ，它将教堂数字转换为整数，然后可以正常显示：

> (define (cn-to-int cn) (cn (lambda (x) (+ x 1)) 0))
> (cn-to-int zero)
0
> (cn-to-int (succ zero))
1
> (cn-to-int (succ (succ zero)))
2