Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
A Linear Logic and the Computer Science of the Future
Lamda is a type system that was independently discovered by hindley and milner. System f came a couple of years before raynold's system. Many compured languages now are based on the next thing gerard did, which was called linear logic. I think legat seems like sometimes you have to squint to see like they're not direct. So i guess for for closing thoughts as we wind down, why is it that these ideas don't seem to come from computer science first? Ah, yet the logicians usually get there before the computer scientist us.
Transcript
Play full episode
