Views: a way for pattern matching to cohabit with data abstraction

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Pattern matching and data abstraction are important concepts in designing programs, but they do not fit well together. Pattern matching depends on making public a free data type representation, while data abstraction depends on hiding the representation. This paper proposes the views mechanism as a means of reconciling this conflict. A view allows any type to be viewed as a free data type, thus combining the clarity of pattern matching with the efficiency of data abstraction.
Original languageEnglish
Title of host publicationProceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Place of PublicationNew York, NY, USA
Number of pages7
ISBN (Print)0-89791-215-2
Publication statusPublished - 1987


Dive into the research topics of 'Views: a way for pattern matching to cohabit with data abstraction'. Together they form a unique fingerprint.

Cite this