SkillsCast coming soon.
In this tutorial, you will discover a short introduction to the generics-sop library that can be used to write datatype-generic programs in a high-level, functional style.
As generics-sop makes use of several Haskell type system extensions such as data kinds, constraint kinds, type families, higher-ranked types, this can also serve as an introduction to type-level programming in Haskell.
The introduction will be followed by an interactive part where participants can work on exercises or try to write their own generic functions using generics-sop. Participants who want to hack on or improve generics-sop are also welcome.
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.