【发布时间】：2015-05-13 19:24:23
【问题描述】：
我有方程 Y = FY（不动点方程）。如何通过其他组合器（特别是具有第一个固定参数的S-组合器）得到F的方程？
【问题讨论】：
-
这个问题很不清楚。例如，“
F的等式”是什么意思？
标签： lambda-calculus combinators s-combinator
【发布时间】：2015-05-13 19:24:23
【问题描述】：
没有办法做到这一点 - 考虑函数 g 和 g ∘ g。那么Y(g)和Y(g ∘ g)都是g(g(g(g(g(...)))))，所以一般来说，从 Y(F) 到 F 是没有办法的。
【讨论】：