Theorems for Free

Please log in to watch this conference skillscast.

In the typed functional programming communities, there is much talk about "reasoning with types". But rarely is this elaborated into something concrete. Just how can we extract tangible information from types beyond playing mere type tetris? The secret sauce is called parametricity, first described by John C. Reynolds, and later applied to Haskell by Philip Wadler in his influential paper "Theorems for free!".

YOU MAY ALSO LIKE:

• A History of Enterprise Monads (SkillsCast recorded in May 2021)
• Haskell eXchange 2022: Novice Track (Online Conference on 7th December 2022)
• Haskell eXchange 2022: Online Conference (Online Conference on 8th - 9th December 2022)
• Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
• Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)