[m-dev.] subtyping proposal (repost)

Ralph Becket rbeck at microsoft.com
Thu Feb 10 21:52:28 AEDT 2000

> > 	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.

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

More information about the developers mailing list