lambda-calculus - 如何通过 S 组合器或其他组合器获得 Y 组合器？

Question

我有方程 Y = FY（定点方程）。如何通过其他组合器（特别是具有第一个固定参数的 S-组合器）得到 F 的方程？

Answer 1

没有办法做到这一点——考虑函数g和g ∘ g。那么Y(g)和Y(g ∘ g)都是g(g(g(g(g(...)))))，所以一般来说没有办法从Y(F)到F。