[Haskell] PROPOSAL: class aliases (revised)

[Remi Turk]

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

Hi,

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


Groeten,

Remi

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