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

A comparison of C++ concepts and Haskell type classes

Jean-Philippe Bernardy (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Patrik Jansson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Marcin Zalewski (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Sibylle Schupp (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Andreas Priesnitz (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008 p. 37-48.
[Konferensbidrag, refereegranskat]

Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is considered generic, those criteria are not fine-grained enough to differentiate between two languages for generic programming. We refine these criteria into a taxonomy that captures 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: Generic Programming, Specification-Driven Development, Concepts, Type Classes, C++, Haskell



Denna post skapades 2008-07-17. Senast ändrad 2010-09-28.
CPL Pubid: 72479

 

Läs direkt!


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


Institutioner (Chalmers)

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

Ämnesområden

Programvaruteknik

Relaterade publikationer

Denna publikation ingår i:


Software Engineering using Typed Functional Programming