Comparing libraries for generic programming in haskell

Authors:
Alexey Rodriguez;Johan Jeuring;Patrik Jansson;Alex Gerdes;Oleg Kiselyov;Bruno C. d. S. Oliveira
Affiliations:
Utrecht University, Utrecht, Netherlands;Utrecht University, Utrecht, Netherlands;Chalmers University of Technology & University of Gothenburg, Gothenburg, Sweden;Open University, Utrecht, Netherlands;FNMOC, Monterey, CA, USA;Oxford University, Oxford, United Kingdom
Venue:
Proceedings of the first ACM SIGPLAN symposium on Haskell
Year:
2008

Citing 24
Cited 26

PolyP—a polytypic programming language extension

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A lightweight implementation of generics and dynamics

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Polytypic data conversion programs

Science of Computer Programming
Typed Combinators for Generic Traversal

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
A Strafunski Application Letter

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Calculate Polytypically!

PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
Generic Haskell, Specifically

Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
Nested Datatypes

MPC '98 Proceedings of the Mathematics of Program Construction
Tool support for refactoring functional programs

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Dependency-style generic haskell

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A pattern for almost compositional functions

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Generics for the masses

Journal of Functional Programming
An extended comparative study of language support for generic programming

Journal of Functional Programming
A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Uniform boilerplate and list processing

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Finding Inputs that Reach a Target Expression

SCAM '07 Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation
A comparison of c++ concepts and haskell type classes

Proceedings of the ACM SIGPLAN workshop on Generic programming
GAST: generic automated software testing

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Comparing approaches to generic programming in Haskell

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
“Scrap your boilerplate” reloaded

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Polytypic programming in haskell

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
“Scrap your boilerplate” revolutions

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Generic views on data types

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction

A comparison of c++ concepts and haskell type classes

Proceedings of the ACM SIGPLAN workshop on Generic programming
Bidirectional Transformations: A Cross-Discipline Perspective

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Writing Composable Software with InterpreterLib

SC '09 Proceedings of the 8th International Conference on Software Composition
Polytypic properties and proofs in Coq

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Alloy: fast generic transformations for Haskell

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Optimizing generics is easy!

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Libraries for generic programming in haskell

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Scrap your zippers: a generic zipper for heterogeneous types

Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
A generic deriving mechanism for Haskell

Proceedings of the third ACM Haskell symposium on Haskell
The gentle art of levitation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Formal polytypic programs and proofs

Journal of Functional Programming
Generic programming with c++ concepts and haskell type classes: A comparison

Journal of Functional Programming
Scala for generic programmers: Comparing haskell and scala support for generic programming

Journal of Functional Programming
Binders unbound

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Generic programming for indexed datatypes

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Towards a categorical foundation for generic programming

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Compositional data types

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
The implicit calculus: a new foundation for generic programming

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
GMETA: a generic formal metatheory framework for first-order representations

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
The right kind of generic programming

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs

Proceedings of the 2012 Haskell Symposium
Template your boilerplate: using template haskell for efficient generic programming

Proceedings of the 2012 Haskell Symposium
A generic abstract syntax model for embedded languages

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
101companies: a community project on software technologies and software languages

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Usage of generic programming on hackage: experience report

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Programming errors in traversal programs over structured data

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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 morethan 10 proposals for generic programming libraries orlanguage extensions for Haskell. To compare and characterise the many generic programming libraries in atyped 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.