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...

• Type: Conference
• Year: 2006
• Where: ICFP
• Authors: Jeremy Gibbons
• Keywords: Classifications--Functional Languages, General Terms Languages, ICFP 2006, Mainstream Programming Languages, Programming Languages