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 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)
- Theorems for Free (SkillsCast recorded in November 2020)
- Comparing Strict and Lazy (SkillsCast recorded in November 2020)
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.