Design patterns as higher-order datatype-generic programs

9 years 10 months ago
Design patterns as higher-order datatype-generic programs
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream 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 parts 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. All that is needed, in addition to commonly-available features, are higherorder and datatype-generic constructs; these features are already or nearly available now. We argue the case by presenting higherorder datatype-generic programs capturing ORIGAMI, a small suite of patterns for recursive data structures. Categories and Subject Descriptors F.3.3 [Logics and meanings of programs]: Studies of program constructs--obj...
Jeremy Gibbons
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2006
Where ICFP
Authors Jeremy Gibbons
Comments (0)