🚀 go-pugleaf

In article <1990Jun5.175706.415@newcastle.ac.uk>,
Chris.Holt@newcastle.ac.uk (Chris Holt) writes:
> In article <RJC.90Jun4134659@brodie.uk.ac.ed.cstr> rjc@uk.ac.ed.cstr
(Richard Caley) writes:
> >
> >One can change the implementation of a function without changing its
> >calling sequence, one can not change the structure of a data object
> >without changing the pattern used to match it.
> >
> >It would be nice this was possible. declare a dtat type ad declare a
> >`picture' of it which is what the outside world sees.
> 
> The picture is surely just those functions that can take the data type
> as an argument, and those that can return the data type as a result.


Abstract data types, whose constructors are not visible, solve the
problem of changing the implementation without having to change the use,
but cannot be combined with pattern matching, where the constructors
need to be visible.

This does not make pattern matching "harmful". Pattern matching is what
makes data-driven case analysis possible, and this is a good thing.

Phil Wadler proposed the use of "views" to avoid this difficulty. A view
is an alternative definition of a datatype, with a new set of
constructors and with functions for mapping between the view and the
real representation. An abstract data type defines a view whose
constructors can be used for pattern matching, but the real
representation is hidden and can be changed, without invalidating the
user's code, if the mapping functions are also changed. The mapping
functions are not explicitly used by the user, but inserted by the
compiler where necessary.

Simple example of views might be polar representation of complex numbers
if the implementation is cartesian, or conventional (nil, cons) lists
where the real representation uses a tree (this makes append very efficient).

Views were considered for inclusion in Haskell, but dropped when we
found some awkward consequences that we did not want to deal with
without first gaining more experience with their use.

Reference: P Wadler, Views, a way for pattern matching to cohabit with
data abstraction. In Proc 14th ACM  POPL pp307-312 Jan 1987

--brian

Internet: brian@comp.vuw.ac.nz
Postal: Brian Boutel, Computer Science Dept, Victoria University of Wellington,
        PO Box 600, Wellington, New Zealand
Phone: +64 4 721000
Fax:   +64 4 712070