-1

我试图理解定点组合器。我认为某些语言使用它来实现递归。主要问题是我无法得到下一个定义：

点击这里查看图片

所以请解释一下图像。

4

1 回答 1

0

这是lambda 演算中定点组合器的实现（称为 Y 组合器）。它满足方程

在此处输入图像描述

除了满足上述要求外，没有太多关于实现的“获取”。

此处的维基百科条目显示了 Y 组合器如何满足上述等式

于 2015-10-14T20:01:37.243 回答