"Propositions as Types" by Philip Wadler

+1 Probably my favorite talk at Strange Loop this year. It's worth watching just for the minute or so starting here: [VIDEO]

Propositions as Types: [VIDEO] I think this can really really change how we look at everyday programming tasks everywhere from the type of tooling we choose to how we approach problems.

curry-howard and Wadler's "Propositions as Types" talk at StrangeLoop* opened my eyes pretty early on to the sweet, sweet utility of logic in my every day programming. it sounds odd to start with but I never realized why these things mattered prior to viewing this talk. props to wadler. best ~40 minutes I've ever spent. * [VIDEO]

Professor Philip Wadler has a fantastic talk titled "Propositions as Types" that introduces the Curry-Howard correspondence, some history behind it and ideas following it. In fact it's one of my favorite talks. Well worth a watch if you haven't seen it: [VIDEO]

If you're finding the paper too dense, Philip gave a extremely entertaining talk on the same subject at Strange Loop this year: [VIDEO]

If you’re using the right language, proofs are programs; it’s as simple as that. “Compressing” a proof, then, amounts to doing what good programmers are already doing — noticing patterns and eliminating redundancy. I’ll refer you to an authority on the subject, Phil Wadler. If you like watching videos, try < [VIDEO] . If you’d rather read an entertaining paper, try < [LINK] .

Philip Wadler's 'Propositions as Types': [VIDEO] Bonus: that was the talk that introduced Lambdaman to the world.

Propositions as Types by Philip Wadler A really in depth look into why functional languages stand out as a programming paradigm. The short of it being that they parallel perfectly (almost proof for proof!) with mathematical logic. [VIDEO]