Generic programming in 3D

Ralf Hinze, Andres Löh
2009 Science of Computer Programming  
Support for generic programming consists of three essential ingredients: support for overloaded functions, a run-time type representation, and a generic view on data. Different approaches to datatype-generic programming occupy different points in this design space. In this article, we revisit the "Scrap your boilerplate" approach and identify its location within the three-dimensional design space. The characteristic features of "Scrap your boilerplate" are its two generic views, the 'spine'
more » ... for consuming and transforming data, and the 'type-spine' view for producing data. We show how to combine these views with different overloading mechanisms and type representations.
doi:10.1016/j.scico.2007.10.006 fatcat:fcs7m5dmwjdn3ih2ps2f4icave