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:
- What Haskell can learn from Scala (SkillsCast recorded in October 2015)
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Haskell Fundamentals (4-Day Course) with Alejandro Serrano (Online Course on 8th - 11th November 2021)
- Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
- Comparing Strict and Lazy (SkillsCast recorded in November 2020)
- Smallpt-hs: Porting a Raytracer's Performance to Haskell (SkillsCast recorded in November 2020)
Thank you to our sponsors and partners
Gold
Silver
Theorems for Free
Lars Hupel
Lars Hupel is a consultant in Munich, Germany. They are known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment. A frequent conference speaker, they are active in the open source community, particularly in Scala. They also enjoy programming in and talking about Haskell, TypeScript, Prolog, and Rust. Previously, they were a PhD student at TU München in the field of logic and verification.