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

Generic programming with C++ concepts and Haskell type classes—a comparison

Jean-Philippe Bernardy (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Patrik Jansson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Marcin Zalewski ; Sibylle Schupp
Journal of Functional Programming (0956-7968). Vol. 20 (2010), 3-4, p. 271-302.
[Artikel, refereegranskad vetenskaplig]

Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haskell, because of its type classes, and C++ with the concept feature. We refine these criteria into a taxonomy that captures commonalities and differences between type classes in Haskell and concepts in C++, and discuss which differences are incidental and which ones are due to other language features. The taxonomy allows for an improved understanding of language support for generic programming, and the comparison is useful for the ongoing discussions among language designers and users of both languages.

Nyckelord: Type Classes, Specification Driven Software Development, Software Engineering


Extended version of "A comparison of C++ Concepts and Haskell Type Classes".



Denna post skapades 2010-08-17. Senast ändrad 2014-09-02.
CPL Pubid: 124669

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

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


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)

Ämnesområden

Datalogi
Programvaruteknik

Chalmers infrastruktur