Beyond Lambda-Calculus: Intensional Computation • Barry Jay • YOW! 2017
About this talk
This presentation was recorded at YOW! 2017. #GOTOcon #YOW https://yowcon.com Associate Professor Barry Jay - Member of the School of Software & the Centre for Artificial Intelligence at the University of Technology, Sydney RESOURCES https://bsky.app/profile/barryjay.bsky.social https://github.com/barry-jay-personal https://www.linkedin.com/in/barry-jay-a45a96184 https://x.com/Jay59009444 ABSTRACT There is a paradox in the foundations of computing. On the one hand, lambda calculus is supposed to compute anything that can be computed. On the other hand, many intensional computations, such as deciding equality of programs (terms in closed normal form), are not definable within lambda calculus. The paradox has now been resolved by close reading of the original papers and books, which clarifies that lambda calculus is inherently extensional. More importantly, there are new, intensional calculi which are more expressive than lambda calculus. First, pattern calculus supports both higher-order functions and generic queries of data structures, by basing all computation on pattern matching. Second, SF-calculus can query programs as well as data structures by factoring them, using the operator F. In particular, the Goedel number of a program can be defined within the calculus itself.Third, lambda-SF calculus adds native support for lambda-abstraction to SF-calculus. Other calculi are currently under development. Pattern calculus has been realised in the programming language, bondi. Even better programming languages are now possible. RECOMMENDED BOOKS Barry Jay & Jose Vergar • Reflective Programs in Tree Calculus • https://amzn.to/4ftW97Y Barry Jay • Pattern Calculus • https://amzn.to/3DpJDZY https://bsky.app/profile/gotocon.com https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con https://www.facebook.com/GOTOConferences #LambdaCalculus #PatternCalculus #TreeCalculus #Calculus #FunctionalProgramming #FP #SoftwareEngineering #Programming #SoftwareDevelopment #BarryJay #YOWcon CHANNEL MEMBERSHIP BONUS Join this channel to get early access to videos & other perks: https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join 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
Stay Updated
Get notified about new features and conference additions.