Re: Contexts on data type declarations

[Koen Claessen]

Christian Maeder wrote:

 | An abstract data type should not reveal its realization.

Indeed! And therefore, an abstract datatype should not impose silly
restrictions on the context where they are not needed. How I implement a
set (for example using ordered binary trees or a hash table), is part of
the concrete representation of the datatype.

Koen.

--
Koen Claessen,
[EMAIL PROTECTED],
http://www.cs.chalmers.se/~koen,
Chalmers University of Technology.