Comparing approaches to generic programming in Haskell

Authors:
Ralf Hinze;Johan Jeuring;Andres Löh
Affiliations:
Institut für Informatik III, Universität Bonn, Bonn, Germany;Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;Institut für Informatik III, Universität Bonn, Bonn, Germany
Venue:
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Year:
2006

Citing 58
Cited 16

How to replace failure by a list of successes

Proc. of a conference on Functional programming languages and computer architecture
Program evolution: processes of software change

Program evolution: processes of software change
Data structures and program transformation

Science of Computer Programming
Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Extensional polymorphism

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling polymorphism using intensional type analysis

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PolyP—a polytypic programming language extension

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Cayenne—a language with dependent types

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Intensional polymorphism in type-erasure semantics

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
STL tutorial and reference guide, second edition: C++ programming with the standard template library

STL tutorial and reference guide, second edition: C++ programming with the standard template library
Data types as values: polymorphism, type-checking, encapsulation

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Threshold evaluation and the semantics of call by value, assignment and generic procedures

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns

Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
A lightweight implementation of generics and dynamics

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

Science of Computer Programming
Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Typed Combinators for Generic Traversal

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Generic Haskell, Specifically

Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
Generic Programming within Dependently Typed Programming

Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
The Design of a Pretty-printing Library

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Polytypic Programming

Advanced Functional Programming, Second International School-Tutorial Text
A Generic Programming Extension for Clean

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Nested Datatypes

MPC '98 Proceedings of the Mathematics of Program Construction
Higher-Order Intensional Type Analysis

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Dependent types in practical programming

Dependent types in practical programming
Dependency-style generic haskell

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A comparative study of language support for generic programming

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Perfect trees and bit-reversal permutations

Journal of Functional Programming
Functorial ML

Journal of Functional Programming
The Zipper

Journal of Functional Programming
Programming Language Design Concepts

Programming Language Design Concepts
Universes for generic programs and proofs in dependent type theory

Nordic Journal of Computing
Type-indexed data types

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Generics for the masses

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Scrap more boilerplate: reflection, zips, and generalised casts

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
The pattern calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Scrap your boilerplate with class: extensible generic functions

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
TypeCase: a design pattern for type-indexed functions

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
RepLib: a library for derivable type classes

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Design patterns as higher-order datatype-generic programs

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Context-parametric polykinded types

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Trends in Functional Programming: Volume 5

Trends in Functional Programming: Volume 5
Generics for the masses

Journal of Functional Programming
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell

Science of Computer Programming
Metamorphisms: Streaming representation-changers

Science of Computer Programming
Distinguishing data structures and functions: the constructor calculus and functorial types

TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
GAST: generic automated software testing

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Testing properties of generic functions

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Datatype-generic programming

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Generic programming, now!

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
Generic graphical user interfaces

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Polytypic programming in haskell

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Improved fusion for optimizing generics

PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Epigram: practical programming with dependent types

AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
“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
Pure pattern calculus

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Generics for the working ML'er

ML '07 Proceedings of the 2007 workshop on Workshop on ML
Practical generic programming in OCaml

ML '07 Proceedings of the 2007 workshop on Workshop on ML
Comparing libraries for generic programming in haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell
Polytypic programming in COQ

Proceedings of the ACM SIGPLAN workshop on Generic programming
Specifying Strategies for Exercises

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
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
Functional pearl: every bit counts

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

Journal of Functional Programming
Template your boilerplate: using template haskell for efficient generic programming

Proceedings of the 2012 Haskell Symposium
Usage of generic programming on hackage: experience report

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

The last decade has seen a number of approaches to data-type-generic programming: PolyP, Functorial ML, 'Scrap Your Boiler-plate', Generic Haskell, 'Generics for the Masses', and so on. The approaches vary in sophistication and target audience: some propose full-blown programming languages, some suggest libraries, some can be seen as categorical programming methods. In these lecture notes we compare the various approaches to datatype-generic programming in Haskell. We introduce each approach by means of example, and we evaluate it along different dimensions (expressivity, ease of use, and so on).