Advanced Functional Programming

Volume 5832 of the series Lecture Notes in Computer Science pp 165-229

Libraries for Generic Programming in Haskell

  • Johan JeuringAffiliated withUniversiteit Utrecht
  • , Sean LeatherAffiliated withUniversiteit Utrecht
  • , José Pedro MagalhãesAffiliated withUniversiteit Utrecht
  • , Alexey Rodriguez YakushevAffiliated withUniversiteit Utrecht

* Final gross prices may vary according to local VAT.

Get Access


These lecture notes introduce libraries for datatype-generic programming in Haskell. We introduce three characteristic generic programming libraries: lightweight implementation of generics and dynamics, extensible and modular generics for the masses, and scrap your boilerplate. We show how to use them to use and write generic programs. In the case studies for the different libraries we introduce generic components of a medium-sized application which assists a student in solving mathematical exercises.