A comparison of c++ concepts and haskell type classes

Authors:
Jean-Philippe Bernardy;Patrik Jansson;Marcin Zalewski;Sibylle Schupp;Andreas Priesnitz
Affiliations:
Chalmers University of Technology, Gothenburg, Sweden;Chalmers University of Technology, Gothenburg, Sweden;Chalmers University of Technology, Gothenburg, Sweden;Chalmers University of Technology, Gothenburg, Sweden;Chalmers University of Technology, Gothenburg, Sweden
Venue:
Proceedings of the ACM SIGPLAN workshop on Generic programming
Year:
2008

Citing 22
Cited 9

On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
How to make ad-hoc polymorphism less ad hoc

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A system of constructor classes: overloading and implicit higher-order polymorphism

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Dictionary-free overloading by partial evaluation

Lisp and Symbolic Computation - Special issue on partial evaluation and semantics-based program manipulation (PEPM '94)
PolyP—a polytypic programming language extension

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generic programming and the STL: using and extending the C++ Standard Template Library

Generic programming and the STL: using and extending the C++ Standard Template Library
C++ Templates

C++ Templates
Template meta-programming for Haskell

ACM SIGPLAN Notices
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Essential language support for generic programming

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Associated type synonyms

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Specifying C++ concepts

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular generic programming with extensible superclasses

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Scrap++: scrap your boilerplate in C++

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Concepts: linguistic support for generic programming in C++

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
System F with type equality coercions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Understanding functional dependencies via constraint handling rules

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

Journal of Functional Programming
Type checking with open type functions

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Comparing libraries for generic programming in haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell
Datatype-generic programming

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Generic programming in Ωmega

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming

Comparing libraries for generic programming in haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
The function concept in C++: an empirical study

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Libraries for generic programming in haskell

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Type classes as objects and implicits

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Generic programming with c++ concepts and haskell type classes: A comparison

Journal of Functional Programming
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design of concept libraries for c++

SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Using functional languages to facilitate C++ metaprogramming

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 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.