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)
- YOW! Lambda Jam 2022 (Online Conference on 1st - 30th May 2022)
- Haskell eXchange 2022 (in Online Event on 1st - 30th November 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)
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.