The Hitchhiker's Guide to the Curry-Howard Correspondence


#1

The Hitchhiker’s Guide to the Curry-Howard Correspondence

Chris Ford is a great speaker. This talk shows some of the cool stuff you can do if you have a formal, static type system in your language. If you’ve ever wondered how logic relates to functional programming, check this out. Did you know that function application is Modus ponens?