Destide to Programmer [email protected]English • 8 months agoLearning Functional Programmingfeddit.ukimagemessage-square22fedilinkarrow-up1263arrow-down111
arrow-up1252arrow-down1imageLearning Functional Programmingfeddit.ukDestide to Programmer [email protected]English • 8 months agomessage-square22fedilink
minus-square@[email protected]linkfedilink7•edit-28 months agoY😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)
Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)