Current hot topics

The following list includes topics we are working on right now.

Type inference for generic functions.
A common library for generic programming.
Real-life applications of generic programming.
Generic-programming design patterns.

And here are some topics we would like to work on in the not so close (but also hopefully not too distant) future.

Higher-order generic functions.
The relation between generic programming and dependently typed programming.
The relation between coherence and generic programming.
Better partial evaluation of generic functions.
Methods for constructing generic programs.

For information contact info@generic-haskell.org