[m-dev.] Typeclasses and constructor classes.

[Michael Day]

> I've replaced Jones' `|' with `given' and `->' with `>>'.  The
> `given S >> T' in the typeclass declaration reads `given that
> S uniquely determines T'.  Now our typing problems disappear:
> empty/0 doesn't cause a problem by not mentioning T since T is
> deducible from whatever S happens to be; map/2 also works out

Now that's getting quite exciting; is this the direction that type classes
are likely to take in Mercury?

Michael


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