A comparison of c++ concepts and haskell type classes

@inproceedings{Bernardy2008ACO,
  title={A comparison of c++ concepts and haskell type classes},
  author={J Bernardy and Patrik Jansson and Marcin Zalewski and Sibylle Schupp and Andreas P. Priesnitz},
  booktitle={ICFP-WGP},
  year={2008}
}
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… CONTINUE READING
1
Twitter Mention

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

Dictionary-free overloading by partial evaluation

VIEW 18 EXCERPTS
HIGHLY INFLUENTIAL

Type-soundness and optimization in the concepts proposal. Technical Report N2576=08-0086, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++

D. Gregor
  • 2008
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Datatype-Generic Programming

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Generic programming in Ωmega

  • SSDGP
  • 2006
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

ConceptGCC — a prototype compiler for C++

D. Gregor
  • concepts. http: //www.generic-programming.org/software/ConceptGCC/,
  • 2008
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…