这是一个创建于 998 天前的主题，其中的信息可能已经有所发展或是发生改变。
刚刚费了九牛二虎之力，把 the little schemer 的这一节看完，搜了很多资料，总算能理解推导过程。
但是作为非计算科学，我好奇为什么不直接加一个 define 关键字呢？
 |
1
Origami404 2022-02-19 12:49:48 +08:00 via Android
因为有 y 组合子就可以不用 define 了，数学上当然是选择最少的公理。而且可以引用自己的 define 在数学上有循环定义的嫌疑
|
 |
2
aflow 2022-02-19 19:05:24 +08:00
编程实践中意义不大，理论上的意义更大些。我之前也花了不少功夫理解，现在再看的时候又迷糊了。
|
Select Language