An Alien Lambda Calculus • Xuanyi Chew • YOW! 2019

This presentation was recorded at YOW! 2019. #GOTOcon #YOW https://yowcon.com Xuanyi Chew - Chief Data Scientist at Ordermentum @Chewxy RESOURCES https://twitter.com/chewxy https://bsky.app/profile/chewxy.bsky.social https://www.linkedin.com/in/xuanyichew https://github.com/chewxy https://blog.chewxy.com ABSTRACT The conventional wisdom in #FunctionalProgramming communities is that #LambdaCalculus was "discovered". Extending the logic of the statement to its extreme, we might propose that an alien would recognize lambda calculus as a #ComputationalModel. But would we be able to recognize an alien lambda calculus? This talk is part gedankenexperiment, part speculative fiction, part practical advice on compiler design. We begin by imagining ourselves to be creatures in a universe which is very different from the one we're in, except the notion of consciousness and intelligence are preserved from our current universe. From there, we shall explore the physics and alternate philosophies that would yield an alien lambda calculus. Of course, being from an alien conception, there are some questions that must be answered - in the name of practicality, is there perhaps even a weak notion of a functor from the alien lambda calculus to that of the one we know today? Is there anything from the alien lambda calculus that we may yield and put into practice? And what is this pesky business with state? Isn't the point of functional programming to hide states from the programmer by abstracting over them? Or was it to make clear the states? And what of names? Isn't lambda purely anonymous? [...] RECOMMENDED BOOKS Xuanyi Chew • Go Machine Learning Projects • https://amzn.to/43pf8MP Xuanyi Chew • Javascript Technical Interview Questions • https://leanpub.com/jsinterviewquestions Xuanyi Chew • Underhanded JavaScript • https://leanpub.com/underhandedjavascript Rebecca Skinner • Effective Haskell • https://amzn.to/3SxTpwY Vitaly Bragilevsky • Haskell in Depth • https://amzn.to/3EXpmbe https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con https://www.facebook.com/GOTOConferences #Programming #SoftwareEngineering #ClosureCalculus #Haskell #XuanyiChew #Chewxy #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1