[Haskell] PROPOSAL: class aliases (revised)

Remi Turk rturk at science.uva.nl
Fri Oct 14 14:26:31 EDT 2005

On Thu, Oct 13, 2005 at 05:53:15PM -0700, John Meacham wrote:
> I have revised the proposal and put it on the web here:
>  http://repetae.net/john/recent/out/classalias.html
> changes include a new, clearer syntax, some typo fixes, and a new
> section describing how class aliases interact with superclasses.
> I will update that web page with any new devolpments.
>         John


it sounds like a great idea. And as I don't really have anything
more fundamental to say about it, I'll invoke Wadlers Law now:

What about

> class Eq a => alias Num a = (Additive a, Multiplicative a)
or perhaps
> class alias Eq a => Num a = (Additive a, Multiplicative a)

instead of

> class alias Num a = Eq a => (Additive a, Multiplicative a)

"If Eq a, then Num a is an alias for ..."



Nobody can be exactly like me. Even I have trouble doing it.

More information about the Haskell mailing list