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 language | English |
---|---|
Title of host publication | Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages |
Place of Publication | New York, NY, USA |
Publisher | ACM |
Pages | 307-313 |
Number of pages | 7 |
ISBN (Print) | 0-89791-215-2 |
DOIs | |
Publication status | Published - 1987 |