[Haskell] PROPOSAL: class aliases (revised)
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:
> 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.
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:
> class Eq a => alias Num a = (Additive a, Multiplicative a)
> class alias Eq a => Num a = (Additive a, Multiplicative a)
> 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