Y-Combinator定义

时间：2015-10-14 19:29:42

标签： lambda-calculus y-combinator

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

click here to see image

所以请解释一下图片。

1 个答案:

答案 0 :(得分：0)

这是lambda演算中定点组合子的实现（称为Y-combinator）。它满足等式

enter image description here

＆＃34;得到＆＃34;关于其他实现是否满足上述要求。

维基百科条目here显示Y-combinator如何满足上述等式

相关问题
最新问题