Destide to Programmer [email protected]English • 2 days agoLearning Functional Programmingfeddit.ukimagemessage-square13fedilinkarrow-up1221arrow-down18
arrow-up1213arrow-down1imageLearning Functional Programmingfeddit.ukDestide to Programmer [email protected]English • 2 days agomessage-square13fedilink
minus-square@[email protected]linkfedilink5•edit-28 hours agoY😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)
Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)