pythonee
V2EX  ›  程序员

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

By pythonee at 2022 年 2 月 19 日 · 2818 次点击

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

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

2 条回复  •  2022-02-19 19:05:24 +08:00
Origami404
   1
Origami404  
   2022 年 2 月 19 日 via Android
因为有 y 组合子就可以不用 define 了,数学上当然是选择最少的公理。而且可以引用自己的 define 在数学上有循环定义的嫌疑
aflow
   2
aflow  
   2022 年 2 月 19 日
编程实践中意义不大,理论上的意义更大些。我之前也花了不少功夫理解,现在再看的时候又迷糊了。
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
© 2026 V2EX · 23ms · 3.9.8.5