Y Combinator, composizione della funzione

Domanda

Sto cercando di capire i combinatori Y. Potresti spiegare perché i seguenti sono equivalenti

(Y (f ∘ g))   
(f (Y (g ∘ f)))

(Y è una combinazione di punti fissi)

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione