Andres is a partner at Well-Typed. He has been an active contributor, speaker and organizer in the Haskell community for over 20 years. Currently he hosts the Haskell Unfolder and chairs the Haskell Foundation board.
Practical datatype-generic programming in Haskell
Datatype-generic programming is a programming technique which allows us to define functions systematically for large classes of datatypes, but taking the structure of the datatype into account. Common examples include all the functions that can be "derived" in Haskell, so one can think of datatype-generic programming as an extensible "deriving" construct.
In this workshop / tutorial, we are going to look at how to write a number of interesting datatype-generic functions using the generics-sop library. Unlike previous workshops I have given on similar topics, I'm going to focus more on applications and actual generic functions than on the background and theory of datatype-generic programming.
zfoh.ch/zurihac2024/
www.ost.ch/