推导 Y 组合子的意义是什么？

[pythonee]

刚刚费了九牛二虎之力，把 the little schemer 的这一节看完，搜了很多资料，总算能理解推导过程。

但是作为非计算科学，我好奇为什么不直接加一个 define 关键字呢？

[Origami404]

因为有 y 组合子就可以不用 define 了，数学上当然是选择最少的公理。而且可以引用自己的 define 在数学上有循环定义的嫌疑

[aflow]

编程实践中意义不大，理论上的意义更大些。我之前也花了不少功夫理解，现在再看的时候又迷糊了。