A comparison of C++ concepts and Haskell type classes

WGP'08 - Proceedings of the 2008 ACM SIGPLAN Workshop on Generic Programming

Volumn , Issue , 2008, Pages 37-47

  Bernardy, Jean Philippe ^a   Jansson, Patrik ^a   Zalewski, Marcin ^a   Schupp, Sibylle ^a   Priesnitz, Andreas ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

C++; Concepts; Generic programming; Haskell; Specification driven development; Type classes

Indexed keywords

C++; CONCEPTS; GENERIC PROGRAMMING; HASKELL; TYPE CLASSES;

LINGUISTICS; QUERY LANGUAGES; SPECIFICATIONS; TAXONOMIES;

HIGH LEVEL LANGUAGES;

EID: 78650423397     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411318.1411324     Document Type: Conference Paper

References (43)

1. M. H. Austern. Generic programming and the STL: using and extending the O+ Standard Template Library. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA. 1998.
2. W. Brown, C. Jefferson, A. Meredith, and J. Widman. Named requirements for C++ concepts. Technical Report N2581=08-0091, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Mar. 2008.
3. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv., 17(4): 471-523, Dec. 1985.
4. M. M. T. Chakravarty, G. Keller, and S. Peyton Jones. Associated type synonyms. SIGPLAN Not., 40(9):241-253, Sept. 2005.
5. M. M. T. Chakravarty, G. Keller, S. Peyton Jones, and S. Marlow. Associated types with class. In Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 1-13. ACM, 2005.
6. G. Dos Reis and B. Stroustrup. Specifying C++ concepts. In Proc. 33rd ACM SIGPLAN-SIGACTSymposium on Principles of Programming Languages (POPL). pages 295-308, New York, NY, USA, 2006, ACM.
7. R. Garcia, J. Jarvi, A. Lumsdaine, J. Siek, and J. Willcock. An extended comparative study of language support for generic programming. J. Funct. Program., 17(2):145-205, Mar. 2007.
8. J. Gibbons. Datatype-generic programming. In Spring School on Datatype-Generic Programming, volume 4719 of LNCS, pages 1-71. Springer. 2007.
9. P. Gottschling. Fundamental algebraic concepts in concept-enabled C++. Technical Report 638, Indiana University, 2006.
10. P. Gottschling. Concept implication and requirement propagation. Technical Report N2646=08-0156, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008.
11. D. Gregor. ConceptGCC - a prototype compiler for C++ concepts, http://www.generic-programming.org/software/ConceptGCC/, Jan. 2008.
12. D. Gregor. 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++, Mar. 2008.
13. D. Gregor and J. Siek. Implementing concepts. Technical Report N 1848=05-0108, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Aug. 2005.
14. D. Gregor, J. Järvi, J. Siek, B. Stroustrup, G. Dos Reis, and A. Lumsdaine. Concepts: Linguistic support for generic programming in C++. In Proc. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 291-310, Oct. 2006.
15. D. Gregor, B. Stroustrup, J. Widman, and J. Siek. Proposed wording for concepts (revision 5). Technical Report N2617=08-0127, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, May 2008.
16. R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proc. 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
17. P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In Proc. POPL'97: Principles of Programming Languages, pages 470-482. ACM, 1997.
18. M. Jazayeri, R. Loos, and D. Musser, editors. Generic Programming: International Seminar, Dagstuhl Castle, Germany, 1998, Selected Papers, volume 1766 of LNCS, 2000. Springer.
19. M.P.Jones. A system of constructor classes: overloading and implicit higher-order polymorphism. In Proc. Conference on Functional Programming Languages and Computer Architecture (FPCA), pages 52-61. New York, NY, USA, 1993. ACM.
20. M. P. Jones. Type classes with functional dependencies. In Programming Languages and Systems, volume 1782 of LNCS. pages 230-244. Springer, 2000.
21. M. P. Jones. Dictionary-free overloading by partial evaluation. LISP and Symbolic Computation, 8(3):229-248, 1994.
22. W. Kahl and J. Scheffczyk. Named instances for Haskell type classes. In R. Hinze, editor. Proc. 2001 ACM SIGPLAN Haskell Workshop, pages 77-99. Elsevier Science, 2001.
23. O. Kiselyov and S. Peyton Jones. Choosing a type-class instance based on the context, Apr. 2008. URL http://haskell.org/haskellwiki/GHC/Adyancedoveerlap.
24. O. Kiselyov and C.-C. Shan. Lightweight static resources, for safe embedded and systems programming. In Draft Proceedings of Trends in Functional Programming. Seton Hall University. 2007.
25. J. Meacham. Class alias proposal for Haskell, 2006. URL http://repetae.net/recent/out/classalias.html.
26. N. Mitchell. Deriving generic functions by example. Technical report, Dept. of Computer Science. University of York, UK, 2007. Tech. Report YCS-2007-421.
27. G. Munkby, A. P. Priesnitz, S. Schupp, and M. Zalewski. Scrap++: Scrap your boilerplate in C++. In WGP'06: Proc. of the 2006 ACM SIGPLAN Workshop on Generic Programming, pages 66-75. ACM, 2006.
28. S. Peyton Jones. Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press, 2003.
29. S. Peyton Jones, M. Jones, and E. Meijer. Type classes: an exploration of the design space. In Haskell Workshop, 1997.
30. R. Rivera, B. Dawes, and D. Abrahams. The boost C++ libraries. http://www.boost.org/, 2008.
31. A. Rodriguez, J. Jeuring, P. Jansson, A. Gerdes, O. Kiselyov, and B. C. d. S. Oliveira. Comparing libraries for generic programming in Haskell. Technical report, Utrecht University, 2008. Short version is in Proc. 2008 ACM SIGPLAN Haskell Symposium.
32. T. Schrijvers, S. Peyton Jones, M. Chakravarty, and M. Sulzmann. Type checking with open type functions. In ICFP'08: The 13th ACM SIGPLAN International Conference on Functional Programming. ACM, 2008.
33. T. Sheard. Generic programming in Ωmega. In Datatype-Generic Programming, volume 4719 of LNCS. pages 258-284. Springer, 2007.
34. T. Sheard and S. Peyton Jones. Template meta-programming for Haskell. SIGPLAN Not., 37(12):60-75, Dec. 2002.
35. J. G. Siek and A. Lumsdaine. Essential language support for generic programming. In PLDI '05: Proc. ACM SIGPLAN 2005 conference on Programming language design and implementation, pages 73-84, New York, NY, USA, June 2005. ACM.
36. A. A. Stepanov and M. Lee. The standard template library. Technical Report HPL-95-11(R.1), Hewlett Packard Laboratories. Palo Alto. CA, USA, Nov. 1995.
37. M. Sulzmann and M. Wang. Modular generic programming with extensible superclasses. In WGP '06: Proc. 2006 ACM SIGPLAN workshop on Generic programming, pages 55-65, New York, NY, USA, 2006. ACM.
38. M. Sulzmann, M. M. T. Chakravarty, S. Peyton Jones, and K. Donnelly. System F with type equality coercions. In TLDI '07: proc. 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, pages 53-66, New York, NY, USA, 2007. ACM.
39. M. Sulzmann, G. J. Duck, S. Peyton-Jones, and P. J. Stuckey. Understanding functional dependencies via constraint handling rules. J. Funct. Program.. 17(1):83-129, Jan. 2007.
40. D. Vandevoorde and N. M. Josuttis. C++ Templates: The Complete Guide. Addison-Wesley Professional, Nov. 2002.
41. P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad hoc. In POPL '89: Proc. 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 60-76. ACM, 1989.
42. J. Willcock, J. Järvi, A. Lumsdaine, and D. Musser. A formalization of concepts for generic programming. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit. Adobe Systems, Apr. 2004.
43. M. Zalewski, A. P. Priesnitz, C. Ionescu, N. Botta, and S. Schupp. Multi-language library development: From Haskell type classes to C++ concepts. In MPOOL 2007, 2007.