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

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

This topic created in 1722 days ago, the information mentioned may be changed or developed.

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

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

2 replies • 2022-02-19 19:05:24 +08:00

Origami404

Feb 19, 2022 via Android

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

aflow

Feb 19, 2022

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