Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Is There a Similarity in Propositions as Types?
Lok: It's an interesting term from people who looked into like a things that are co invented. Like the telephone, for instance, invented in two places at once. Lok: Once those concepts were laid down, then the telephone was adjacently possible. And sometimes it was quite a while before people realized they had done the same thing.
Transcript
Play full episode
