Y combinator, function composition

質問

I am trying to understand Y combinators. Could you please explain why the following are equivalent

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

(Y is a fixed point combination)

正しい解決策はありません

ライセンス： CC-BY-SA と帰属

所属していません cs.stackexchange