Church 计数怎么做减法？

变异老鼠

按照 SICP 2.1.3 的练习 2.6 的介绍，Church 计数的基本定义是：

1. (define zero (lambda (f) (lambda (x) x)))
   
2. (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x)))))

复制代码

按照这个定义，加法还是很好做的：

1. (define (add m n) (lambda (f) (lambda (x) ((m f) ((n f) x)))))

复制代码

然后减法就纠结了……
总不能一个一个试吧？会慢死的……

ypyf3000

我也不会啊