我有方程 Y = FY(定点方程)。如何通过其他组合器(特别是具有第一个固定参数的S组合器)得到F的方程?
最佳答案
没有办法做到这一点 - 考虑函数 g 和 g ∘ g。那么 Y(g) 和 Y(g ∘ g) 都是 g(g(g(g(g(...))))),所以一般来说没有办法从 Y(F) 到 F。
关于lambda-calculus - 如何通过S组合器或其他获得Y组合器?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30223578/