Generic Programming, Now!
Ralf Hinze and Andres Löh

Tired of writing boilerplate code? Tired of repeating essentially the same function definition for lots of different datatypes? Datatype-generic programming promises to end these coding nightmares. In these lecture notes, we present the key abstractions of datatype-generic programming, give several applications, and provide an elegant embedding of generic programming into Haskell. The embedding builds on recent advances in type theory: generalised algebraic datatypes and open datatypes. We hope to convince you that generic programming is useful and that you can use generic programming techniques today!

Download
Paper, material for a course given at SSDGP 2006
Source code (executable Haskell file extracted from the paper sources)

Valid XHTML 1.0! Valid CSS!

Andres Löh, 2007-05-02