Design Patterns as Higher-Order Datatype-Generic Programs
SVM HeaderParse 0.2
user correction - Legacy Corrections
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, design patterns will be expressible as reusable library code. Indeed, we claim that the languages of tomorrow will suffice; the future is not far away. The necessary features are higher-order and datatypegeneric constructs; these features are already or nearly available now. We argue the case by presenting higher-order datatypegeneric programs capturing ORIGAMI, a small pattern language of recursive data structures.