CoRecursive: Coding Stories

By Adam Gordon Bell - Software Developer

Tech Talk: God's Programming Language - Philip Wadler on Haskell

🔊 Play episode (1.0 hours)

Direct episode link

💬 Share episode

Published October 22, 2018 7:00am

Tech Talks are in-depth technical discussions.

Today I talk to Professor Philip Wadler, a very accomplished programming language researcher.  Phil walks us through a principle that has guided his career.  That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something connected to the mathematical underpinning of the universe itself.

It follows from this that functional programming languages are therefore more correct or more deeply justified and fundamental than other languages.  I am probably stating things in a stronger fashion than Phil is comfortable with, but I l...

Return to podcast