这是一个创建于 3424 天前的主题，其中的信息可能已经有所发展或是发生改变。
今天看到SICP第二章 Church Number 的习题，感觉非常的有意思，写了篇博客，欢迎大家来指导
 |
1
kcworms 2015-07-11 22:23:49 +08:00
感觉有一个缺点是一大段解说越看越不明白，不如自己动手把(add-1 zero)展开看看结果。
顺便问一下“也就是说 (zero f) 实际上就是一个 id 的函数”里的id是什么呢（我数学不好……） |
 |
2
abcdabcd987 OP @kcworms 嗯……其实我这里想说的是，这个函数会接受一个参数，然后返回这个参数
类似于线性变换中的恒等变换 类似于取一个数的1次幂 好吧，可能是有点啰嗦了，不过我的关注点并不在于 (add-1 zero) 直接展开的结果，而在于怎么用一个比较科学的方式解释这个事情。直接展开大家都会的，毕竟就是一个程式化的做法，但是我觉得要悟到其中精妙的地方，还是要想个合理的解释的 :-) |
Select Language