Scrap your boilerplate: a practical design pattern for generic programming

We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such pro- grams often have a great deal of "boilerplate" code that simply walks the structure, hiding a small amount of "real" code that con- stitutes the reason for the traversal. Our technique allows most of thi...更多