atom feed35 messages in org.haskell.haskell[Haskell] PROPOSAL: class aliases (re...
FromSent OnAttachments
John MeachamOct 12, 2005 7:41 pm 
Philippa CowderoyOct 12, 2005 7:55 pm 
John MeachamOct 12, 2005 8:16 pm 
Wolfgang JeltschOct 13, 2005 5:48 am 
John MeachamOct 13, 2005 6:03 am 
Malcolm WallaceOct 13, 2005 6:15 am 
Andres LoehOct 13, 2005 6:23 am 
Malcolm WallaceOct 13, 2005 6:29 am 
John MeachamOct 13, 2005 6:37 am 
John MeachamOct 13, 2005 6:39 am 
Simon Peyton-JonesOct 13, 2005 7:02 am 
Benjamin FranksenOct 13, 2005 7:26 am 
Benjamin FranksenOct 13, 2005 7:33 am 
S.M.KahrsOct 13, 2005 7:37 am 
John MeachamOct 13, 2005 8:32 am 
Simon Peyton-JonesOct 13, 2005 9:23 am 
Udo StenzelOct 13, 2005 9:46 am 
Jan-Willem MaessenOct 13, 2005 9:58 am 
Paul GovereauOct 13, 2005 1:21 pm 
Jacques CaretteOct 13, 2005 1:52 pm 
John MeachamOct 13, 2005 4:45 pm 
John MeachamOct 13, 2005 6:13 pm 
John MeachamOct 13, 2005 6:21 pm 
David MenendezOct 13, 2005 6:49 pm 
John MeachamOct 13, 2005 8:33 pm 
aj...@spamcop.netOct 13, 2005 11:25 pm 
Ashley YakeleyOct 14, 2005 6:20 am 
Ashley YakeleyOct 14, 2005 6:31 am 
Wolfgang JeltschOct 14, 2005 9:46 am 
Wolfgang JeltschOct 14, 2005 11:44 am 
Wolfgang JeltschOct 14, 2005 11:47 am 
Remi TurkOct 14, 2005 2:05 pm 
Udo StenzelOct 15, 2005 6:15 am 
Ross PatersonOct 27, 2005 6:58 am 
Wolfgang JeltschOct 28, 2005 7:05 am 
Subject:[Haskell] PROPOSAL: class aliases (revised)
From:Remi Turk (rtu@science.uva.nl)
Date:Oct 14, 2005 2:05:04 pm
List:org.haskell.haskell

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.