Generic Programming, Now!

@inproceedings{Hinze2006GenericPN,
  title={Generic Programming, Now!},
  author={Ralf Hinze and Andres L{\"o}h},
  booktitle={SSDGP},
  year={2006}
}
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… CONTINUE READING
BETA

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…