Prototyping Generic Programming in Template Haskell Export

@incollection{citeulike:2615642, abstract = {Generic Programming deals with the construction of programs that can be applied to many different datatypes. This is achieved by parameterizing the generic programs by the structure of the datatypes on which they are to be applied. Programs that can be defined generically range from simple map functions through pretty printers to complex XML tools. The design space of generic programming languages is largely unexplored, partly due to the time and effort required to implement such a language. In this paper we show how to write flexible prototype implementations of two existing generic programming languages, PolyP and Generic Haskell, using Template Haskell, an extension to Haskell that enables compile-time meta-programming. In doing this we also gain a better understanding of the differences and similarities between the two languages.}, author = {Norell, Ulf and Jansson, Patrik}, citeulike-article-id = {2615642}, citeulike-linkout-0 = {http://www.springerlink.com/content/c4ahtkx2w76xxyfr}, citeulike-linkout-1 = {http://www.cs.chalmers.se/~ulfn/papers/genericth.html}, journal = {Mathematics of Program Construction}, keywords = {generics, haskell, template-haskell}, pages = {314--333}, posted-at = {2008-03-31 10:59:29}, priority = {2}, title = {Prototyping Generic Programming in Template Haskell}, url = {http://www.springerlink.com/content/c4ahtkx2w76xxyfr}, year = {2004} }

TY - CHAP ID - citeulike:2615642 L3 - citeulike-article-id:2615642 N2 - Generic Programming deals with the construction of programs that can be applied to many different datatypes. This is achieved by parameterizing the generic programs by the structure of the datatypes on which they are to be applied. Programs that can be defined generically range from simple map functions through pretty printers to complex XML tools. The design space of generic programming languages is largely unexplored, partly due to the time and effort required to implement such a language. In this paper we show how to write flexible prototype implementations of two existing generic programming languages, PolyP and Generic Haskell, using Template Haskell, an extension to Haskell that enables compile-time meta-programming. In doing this we also gain a better understanding of the differences and similarities between the two languages. JF - Mathematics of Program Construction EP - 333 TI - Prototyping Generic Programming in Template Haskell SP - 314 KW - generics KW - haskell KW - template-haskell AU - Norell, Ulf AU - Jansson, Patrik PY - 2004/// UR - http://www.springerlink.com/content/c4ahtkx2w76xxyfr ER -