Please log in to watch this conference skillscast.
A new Haskell language extension in GHC (available from version 8.6) that allows such general rules to be given names (interestingly, by reusing the Haskell concept of "newtypes") and then instantiated in a "Deriving Via" clause. This means that many Haskell instances that previously had to be produced manually in a tedious and error-prone way now become one-liners.
In this talk, Andres will look at a number of examples where instances that occur "in the wild" can be simplified by means of Deriving Via, and he will also demonstrate some of the more surprising implications of this extension.
YOU MAY ALSO LIKE:
- Park Bench Panel (SkillsCast recorded in October 2018)
- 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)
Andres Löh is a Haskell consultant and co-owner of Well-Typed LLP. He is based in Regensburg, Germany. He started using Haskell in 1997, when being an undergraduate student of mathematics in Konstanz and has been an enthusiastic functional programmer ever since. Andres obtained a PhD in Computer Science from Utrecht University in 2004, on extending the Haskell language with capabilities for datatype-generic programming. After having been a university lecturer for several years, he joined Well-Typed in 2010.