Under consideration for publication in J. Functional Programming 1 Comparing Datatype-Generic Libraries (924)
BibTeX
@MISC{Yakushev924underconsideration,
author = {Alexey Rodriguez Yakushev and Johan Jeuring and Patrik Jansson and Alex Gerdes and Bruno C. D. S. Oliveira and In Haskell and Alexey Rodriguez Yakushev and Johan Jeuring and Patrik Jansson and Alex Gerdes and Bruno C. D. S. Oliveira},
title = {Under consideration for publication in J. Functional Programming 1 Comparing Datatype-Generic Libraries},
year = {924}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Datatype-generic programming is parametrizing programs by the structure, or “shape ” of datatypes, letting us write, for example, generic traversal or pretty-printing once and apply them to any data type whose shape we can represent. Although more than two decades old, the field has been vigorously growing in recent years, particularly in Haskell. There are more than ten datatype-generic programming libraries in Haskell, not counting proposed language extensions. The proliferation of the libraries poses the problem of comparing them, to help the users choose the right library for their tasks and to attempt to unify some of them. In this paper we develop an extensive test suite for comparing datatype-generic libraries in a typed functional language. We introduce a broad set of criteria and develop a collection of characteristic examples covering most of the facets of datatype-generic programming. We have implemented the examples for ten existing Haskell generic programming libraries and report for the first time the comprehensive evaluation of the libraries against the broad common standard. ZU064-05-FPR ComparingJournal 21 June 2011 16:28 2 Rodriguez Yakushev et al. 1
