[m-dev.] subtyping proposal (repost)

[Ralph Becket]

> > 	We already have one mechanism for subtypes/inheritence,
> > 	namely type classes; do we need another one?
> > 
> 
> I don't think that this counter rationale, holds much water as all this
> is syntactic sugar (mainly) for something that can already be done.


Polymorphic modes aren't syntactic sugar since library writers cannot
anticipate all possible specialised modes that a predicate will be
called in.

Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------