CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Comparing Libraries for Generic Programming in Haskell

Alexey Rodriguez (Institutionen för data- och informationsteknik (Chalmers)) ; Johan Jeuring (Institutionen för data- och informationsteknik (Chalmers)) ; Patrik Jansson (Institutionen för data- och informationsteknik (Chalmers)) ; Alex Gerdes (Institutionen för data- och informationsteknik (Chalmers)) ; Oleg Kiselyov (Institutionen för data- och informationsteknik (Chalmers)) ; Bruno C D S Oliveira (Institutionen för data- och informationsteknik (Chalmers))

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. [Technical report version.]

Nyckelord: Functional Programming, Polytypic Programming

Denna post skapades 2008-04-18. Senast ändrad 2016-05-04.
CPL Pubid: 70250


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)



Chalmers infrastruktur