Как получить комбинатор Y через S combinator или другие?

Question

У меня есть уравнение Y = FY (уравнение с фиксированной точкой). Как получить из него уравнение для F через другой комбинатор (в частности, S-комбинатор с первым фиксированным параметром)?

Answer 1

Невозможно это сделать - рассмотрите функции g и g ∘ g. Тогда Y (г) и Y (г ∘ г) оба г (г (г (г (г (...))))), так что нет никакого способа, чтобы перейти от Y (F) до F в целом.