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
scroll top