Y-Combinator 定义
Y-Combinator definiton
我想了解定点组合器。我认为它被某些语言用来实现递归。主要问题是我无法得到下一个定义：
所以请解释图像。
这是 lambda 演算中定点组合子（称为 Y 组合子）的实现。它满足方程
除了满足上述要求外，"get" 没有太多关于实现的内容。
维基百科条目 here 显示了 Y 组合器如何满足上述等式
我想了解定点组合器。我认为它被某些语言用来实现递归。主要问题是我无法得到下一个定义：
所以请解释图像。
这是 lambda 演算中定点组合子（称为 Y 组合子）的实现。它满足方程
除了满足上述要求外，"get" 没有太多关于实现的内容。
维基百科条目 here 显示了 Y 组合器如何满足上述等式