"Scrap Your Boilerplate" Reloaded

Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, support for generic programming consists of two essential ingredients: a way to write (type-)overloaded functions, and independently, a way to access the structure of data types. SYB seems to lack the second. As a consequence, it is difficult to compare with other approaches such as PolyP or Generic Haskell. In this paper we reveal the structural view that SYB builds upon. This allows us to define the combinators as generic functions in the classical sense. We explain the SYB approach in this changed setting from ground up, and use the understanding gained to relate it to other generic programming approaches. Furthermore, we show that the SYB view is applicable to a very large class of data types, including generalized algebraic data types.

• Type: Conference
• Year: 2006
• Where: FLOPS
• Authors: Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira
• Keywords: Automated Reasoning, Data Types, FLOPS 2006, Generic Programming, Generic Traversals