Scrap++: scrap your boilerplate in C++

ABSTRACT

"Scrap Your Boilerplate" (SYB) is a well studied and widely used design pattern for generic traversal in the Haskell language, but almost unknown to generic programmers in C++. This paper shows that SYB can be implemented in C++. It identifies the features and idioms of C++ that correspond to the Haskell constructs that implement SYB, or can be used to emulate them, and provides a prototype C++ implementation.

REFERENCES

• 1: A. Alexandrescu. Modern C++ Design.C++ In-Depth Series. Addison-Wesley, 2001.
• 2: Matthew H. Austern, Segmented Iterators and Hierarchical Algorithms, Selected Papers from the International Seminar on Generic Programming, p.80-90, April 27-May 01, 1998
• 3: The Boost initiative for free peer-reviewed portable C++ source libraries. http://www.boost.org.
• 4: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 5: J. de Guzman and D. Marsden. Fusion library homepage. http://spirit.sourceforge.net/dl_more/fusion_v2/libs/fusion/doc/html.
• 6: P. Dimov. Boost Bind library. http://www.boost.org/libs/bind/bind.html.
• 7: U. W. Eisenecker, F. Blinn, and K. Czarnecki. A solution to the constructor-problem of mixin-based programming in C++.In1st Workshop on C++ Template Programming, Oct. 2000.
• 8: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 9: D. Gregor, J. Järvi, J. G. Siek, A. Lumsdaine, G. D. Reis, and B. Stroustrup. Concepts: First-class language support for generic programming. In Proc. 21st ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct. 2006.
• 10: R. Hinze and A. Löh. "Scrap your boilerplate" revolutions. In T. Uustalu, editor, Proc. 8th International Conf. on the Mathematics of Program Construction (MPC), Lecture Notes in Computer Science. Springer-Verlag, 2006.
• 11: R. Hinze, A. Löh, and B. C. d. S. Oliveira. "Scrap your boilerplate" reloaded. In P. Wadler and M. Hagiya, editors, Proc. 8th International Symposium on Functional and Logic Programming (FLOPS), pages 13--29, 2006.
• 12: J. Järvi and G. Powell. Boost Tuple Library (BTL) homepage. http://www.boost.org/libs/tuple/doc/tuple_users_guide.html.
• 13: Jaakko Järvi , Gary Powell , Andrew Lumsdaine, The Lambda library: unnamed functions in C++, Software—Practice & Experience, v.33 n.3, p.259-291, March 2003 [doi>10.1002/spe.504]
• 14: Jaakko Järvi , Jeremiah Willcock , Andrew Lumsdaine, Concept-controlled polymorphism, Proceedings of the 2nd international conference on Generative programming and component engineering, p.228-244, September 22-25, 2003, Erfurt, Germany
• 15: Thomas Kühne, Internal Iteration Externalized, Proceedings of the 13th European Conference on Object-Oriented Programming, p.329-350, June 14-18, 1999
• 16: Ralf Lämmel , Simon Peyton Jones, Scrap more boilerplate: reflection, zips, and generalised casts, Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, September 19-21, 2004, Snow Bird, UT, USA
• 17: Ralf Lämmel , Simon Peyton Jones, Scrap your boilerplate with class: extensible generic functions, Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, September 26-28, 2005, Tallinn, Estonia
• 18: Ralf Lämmel , Simon Peyton Jones, Scrap your boilerplate: a practical design pattern for generic programming, ACM SIGPLAN Notices, v.38 n.3, March 2003
• 19: Brian McNamara , Yannis Smaragdakis, Functional programming with the FC++ library, Journal of Functional Programming, v.14 n.4, p.429-472, July 2004 [doi>10.1017/S0956796803004969]
• 20: N. Myers. A new and useful template technique: "Traits". C++ Report, 7(5):32--35, June 1995.
• 21: E. Niebler. Segmented Fusion - a-ha! http://article.gmane.org/gmane.comp.parsers.spirit.devel/2765.
• 22: P. Nogueira Iglesias. Polytypic Functional Programming and Data Abstraction. PhD thesis, School of Comp. Science and Information Technology, The University of Nottingham, UK, Jan. 2006.
• 23: Jens Palsberg , C. Barry Jay, The Essence of the Visitor Pattern, Proceedings of the 22nd International Computer Software and Applications Conference, p.9-15, August 19-21, 1998
• 24: S. Peyton Jones and J. Hughes. Haskell 98: A non-strict, purely functional language. Technical report, Feb. 1999. http://haskell.org/onlinereport.
• 25: A. Priesnitz and S. Schupp. From generic invocations to generic implementations. In 6th Workshop on Parallel/High- performance Object-Oriented Scientific Computing (POOSC), July 2006. to appear.
• 26: Gabriel Dos Reis , Bjarne Stroustrup, Specifying C++ concepts, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.295-308, January 11-13, 2006, Charleston, South Carolina, USA
• 27: The boost graph library: user guide and reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 28: A. A. Stepanov and M. Lee. The Standard Template Library. Hewlett Packard Laboratories, Feb. 1995.
• 29: Arie van Deursen , Joost Visser, Source model analysis using the JJTraveler visitor combinator framework, Software—Practice & Experience, v.34 n.14, p.1345-1379, November 2004
• 30: Joost Visser, Visitor combination and traversal control, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.270-282, October 14-18, 2001, Tampa Bay, FL, USA
• 31: E. Winch. Heterogeneous lists of named objects. In Second Workshop on C++ Template Programming, Oct. 2001.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.m Miscellaneous

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.13 Reusable Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Design, Languages

Keywords:
C++, extensibility, generic programming