Patterns as Objects in Grace

Abstract

Object orientation and pattern matching are often seen as conflicting approaches to program design. Object-oriented programs place type-dependent behavior inside objects and invoke it via dynamic dispatch, while pattern-matching programs place type-dependent behavior outside data structures and invoke it via multiway conditionals (case statements). Grace is a new, dynamic, object-oriented language designed to support teaching: to this end, Grace needs to support both styles. We explain how this conflict can be resolved grace- fully: by modelling patterns and cases as partial functions, reifying those functions as objects, and then building up complex patterns from simpler ones using pattern combinators. We describe the implementation of this design as an object-oriented framework, and a case study of its effectiveness.

Authors

Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce

Published in

Dynamic Language Symposium (DLS), 2012

The final copy of this publication is available from the publisher.

Resources

PDF
mwh.nz/pdf/dls2012
this page
mwh.nz/pubs/dls2012
Michael Homer — 2024 e6b1d5c8