Type Systems and the Lambda Cube - Placing Hindley-Milner in context
March 30th 2018 19:30 - 20:20
Statically typed functional programming languages represent one of the big ideas of computing. But what is a type system? Why is the Hindley-Milner type system at the core of many functional programming languages? What are dependent types and why does the Curry-Howard isomorphism matter? In this talk we're going to get contravariant about the array of arguments against generic ideas about types! Let's manifest the difference between type inference and unityped dynamic languages! Come explore the menagerie of type systems from alpha reduction to System F-omega and their relationships to the unifying principles of the Lambda Cube. Gain a more global perspective on the kinds of type systems that exist in languages you use and will use and the doors they can open to your designs.