Home

Comparing Libraries For Generic Programming In Haskell

Alexey

<!--
   * Set PREV_SKIN = customtitle
   * Set CUSTOMTOPICTITLE = Comparing Libraries for Generic Programming in Haskell
   * Set CUSTOMHEADTITLE = Comparing Libraries for Generic Programming in Haskell
   * Set WEBTITLE =
-->

_Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira. Comparing Libraries for Generic Programming in Haskell? . Submitted to ICFP 2008._

Datatype-generic programming is defining functions that
depend on the structure, or ``shape'', of datatypes. It has been around for 
more than 10 years, and a lot of progress has been made, in particular 
in the lazy functional programming 
language Haskell. There are more than 10 proposals for generic 
programming libraries or language extensions for Haskell.
To compare and characterize the many
generic programming libraries in a typed functional language, we
introduce a set of criteria and develop a generic programming
benchmark: a set of characteristic examples
testing various facets of datatype-generic programming.
We have implemented the benchmark for nine existing Haskell generic
programming libraries and present the evaluation of the libraries.
The comparison is useful for reaching a common standard for generic
programming, but also for a programmer who has to choose a particular
approach for datatype-generic programming.

*Paper (submitted to Haskell Symposium 2008):* [[%ATTACHURL%/paper.pdf][pdf]]

*Technical report (contains detailed evaluation, slightly outdated):* [[http://www.cs.uu.nl/research/techreps/UU-CS-2008-010.html][link]]

%RED% NEW %ENDCOLOR% *Updated technical report (3rd September 2008):*   [[%ATTACHURL%/technicalreport.pdf][pdf]]

---++ Benchmark suite

[[http://haskell.org/haskellwiki/GPBench]]

---++ BibTex

BibTex for the technical report.

<pre>
@techreport{Rodriguez:2008,
  Author =       {Rodriguez, Alexey and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg\
 and Oliveira, Bruno C. d. S.},
  Institution =  {Utrecht University},
  Number =       {UU-CS-2008-010},
  Title =        {Comparing Libraries for Generic Programming in Haskell},
  Year =         2008
}
</pre>

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	paper.pdf	manage	214.3 K	25 Aug 2008 - 09:47	AlexeyRodriguez	HS 2008 version
pdf	technicalreport.pdf	manage	377.3 K	15 Sep 2008 - 14:40	AlexeyRodriguez