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.
YOU MAY ALSO LIKE:
Andres Löh is a long-time functional programming enthusiast. He has started using Haskell in 1997 while being an undergraduate studying mathematics. He obtained his PhD on datatype-generic programming using Haskell from Utrecht University in 2004. Since then, he has continued to use Haskell in research and practice, including teaching various courses both to students and participants from industry. His main interests, next to datatype-generic programming, are embedded domain-specific languages, unleashing the full power of Haskell's type system, parallelism and applying functional languages to real-life problems. Since 2010, Andres is an independent Haskell consultant and partner at Well-Typed LLP.