|(6 intermediate revisions by 3 users not shown)|
Latest revision as of 13:11, 23 April 2012
Datatype-generic programming, also frequently just called generic programming or generics in Haskell, is a form of abstraction that allows defining functions that can operate on a large class of datatypes. In this page we summarise a number of popular approaches to generic programming that are often used with GHC. For a more in-depth introduction to generic programming in general, have a look at Gibbons' Datatype-Generic Programming, or the Libraries for Generic Programming paper.
 1 What is generic programming?
Haskell is a polymorphic language. This means that you can have a single datatype for lists:
data List a = Nil | Cons a (List a)
These lists can contain any type of information, such as integers, Booleans, or even other lists. Since the length of a list does not depend on the type of its elements, there is also a single definition for list length:
length :: List a -> Int length Nil = 0 length (Cons _ t) = 1 + length t
The length function can be defined on other datatypes than lists. Consider a datatype for trees:
data Tree a = Leaf | Bin a (Tree a) (Tree a)
You can also compute the length of a tree (or its size, if you want), by recursively traversing the tree and counting the number of elements. Generic programming allows to define a single length function, that can operate on lists, trees, and many other datatypes. This reduces code duplication and makes code more robust to changes, because you can change your datatypes without needing to adapt the generic functions that operate on them.
We now look at some approaches to generic programming in Haskell.
 2 GHC.GenericsThe
 3 SYB
Scrap Your Boilerplate (SYB), available with GHC since version 6.0, is an earlier approach to generic programming, particularly well suited for traversals and transformations over large trees. It has its own wiki page.
 4 Uniplate
 5 Multirec
Multirec is a library for generic programming with fixed points, supporting mutually recursive families of datatypes, and allowing functionality such as folds or the zipper. For more information, see its webpage.
 6 RepLib
Replib is a library for generic programming based on representation types (and GADTs). It is available through Hackage and Google Code. It is one of the more expressive libraries and supports the SYB traversals as well as other styles of generic programming. The Unbound library uses RepLib to automatically derive operations for name binding, including alpha-equivalence, free variable calculation and substitution.