Scheme 与 Church Number

[abcdabcd987]

今天看到SICP第二章 Church Number 的习题，感觉非常的有意思，写了篇博客，欢迎大家来指导

https://abcdabcd987.com/scheme-church-number/

[kcworms]

感觉有一个缺点是一大段解说越看越不明白，不如自己动手把(add-1 zero)展开看看结果。

顺便问一下“也就是说 (zero f) 实际上就是一个 id 的函数”里的id是什么呢（我数学不好……）

[abcdabcd987]

@kcworms 嗯……其实我这里想说的是，这个函数会接受一个参数，然后返回这个参数
类似于线性变换中的恒等变换
类似于取一个数的1次幂

好吧，可能是有点啰嗦了，不过我的关注点并不在于 (add-1 zero) 直接展开的结果，而在于怎么用一个比较科学的方式解释这个事情。直接展开大家都会的，毕竟就是一个程式化的做法，但是我觉得要悟到其中精妙的地方，还是要想个合理的解释的 :-)