God's Programming Language
CoRecursive: Coding Stories - Ein Podcast von Adam Gordon Bell - Software Developer
Kategorien:
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.
