Comparing libraries for generic programming in haskell

Alexey Rodriguez, Alex Gerdes, Johan Jeuring, Oleg Kiselyov, Patrik Jansson, Bruno C.D.S. Oliveira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

39 Citations (Scopus)

Abstract

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 characterise 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.

Original languageEnglish
Title of host publicationHaskell'08 - Proceedings of the ACM SIGPLAN 2008 Haskell Symposium
Pages111-122
Number of pages12
DOIs
Publication statusPublished - 2008 Dec 1
Externally publishedYes
Event1st ACM SIGPLAN Haskell Symposium, Haskell'08 - Victoria, BC, Canada
Duration: 2008 Sep 252008 Sep 25

Publication series

NameHaskell'08 - Proceedings of the ACM SIGPLAN 2008 Haskell Symposium

Other

Other1st ACM SIGPLAN Haskell Symposium, Haskell'08
CountryCanada
CityVictoria, BC
Period08/9/2508/9/25

Keywords

  • Datatype-generic programming
  • Libraries comparison

ASJC Scopus subject areas

  • Computer Science Applications
  • Software
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Comparing libraries for generic programming in haskell'. Together they form a unique fingerprint.

Cite this