Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Typed Lamda Calculus
The way we use types now, certainly in functional languages, corresponds directly to the way that russell and church was using it. Terring probably made the leap was the first person to make the leap from one of those to the other. The fact that typed lamda calculus a came about several different ways and has strong roots an logic. I mean, implies that the languages that follow the structure may be or following a correct structure.
Transcript
Play full episode
