Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我试图理解定点组合器。我认为某些语言使用它来实现递归。主要问题是我无法得到下一个定义:
所以请解释一下图像。
这是lambda 演算中定点组合器的实现(称为 Y 组合器)。它满足方程
除了满足上述要求外,没有太多关于实现的“获取”。
此处的维基百科条目显示了 Y 组合器如何满足上述等式