talk · intermediate · evergreen
"Propositions as Types" by Philip Wadler
Strange Loop Conference · Sep 26, 2015 · 42m 43s
What this video covers
Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.
Why it surfaced in Hacker News
HN regards it as an entertaining and eye-opening introduction to why logic and functional programming are connected, and it is a frequent pick in favorite-tech-talk threads.
- 9
- distinct recommenders
- 8
- recommendation months
- 4
- strong recommendations
Recommendation context
Short excerpts from positive mentions. Open the source to read the full Hacker News discussion.
“Probably my favorite talk at Strange Loop this year.”
“I think this can really really change how we look at everyday programming tasks”
“best ~40 minutes I've ever spent.”