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