Destide to Programmer Humor@lemmy.mlEnglish • 2 months agoLearning Functional Programmingfeddit.ukimagemessage-square22fedilinkarrow-up1263arrow-down110
arrow-up1253arrow-down1imageLearning Functional Programmingfeddit.ukDestide to Programmer Humor@lemmy.mlEnglish • 2 months agomessage-square22fedilink
minus-square@tetris11@lemmy.mllinkfedilink7•edit-22 months agoY😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)
Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)