Episode
Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories · Oct 22, 2018 · 1 h 01 min
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…