University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

Abstract

Design patterns are reusable abstractions in object-oriented software. However, using current programming languages, these elements can only be expressed extra-linguistically: as prose, pictures, and prototypes. We believe that this is not inherent in the patterns themselves, but evidence of a lack of expressivity in the languages of today. We expect that, in the languages of the future, the code part of design patterns will be expressible as reusable library components. Indeed, we claim that the languages of tomorrow will suffice; the future is not far away. The necessary features are higher-order and datatype-generic constructs; these features are already or nearly available now. We argue the case by presenting higher-order datatype-generic programs capturing Origami, a small suite of patterns for recursive data structures.

Details

Book Title

Workshop on Generic Programming

Editor

Ralf Hinze

Month

sep

Year

2006

Links

BibTeX

Link (pdf)

Download official version from ACM

Related pages

People

Projects

Activities