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 2021: Novice Track (Online Conference on 15th November 2021)
• Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
• Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)
• In The Belly Of The Whale: Tales From Haskell In The Enterprise (SkillsCast recorded in May 2021)