OXFORD UNIVERSITY COMPUTING LABORATORY

"Scrap Your Boilerplate" Reloaded

Ralf Hinze, Andres Loeh, and Bruno C. d. S. Oliveira

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.

info

book title

Functional and Logic Programming (FLOPS 2006)

editor

Philip Wadler and Masami Hagiya

location

Fuji Susono, Japan

month

April

year

2006

links

BibTeX

Link (html)

related pages

people

Random Image
Random Image
Random Image