Haskell' - class aliases

Ben Moseley ben_moseley at mac.com
Mon Apr 21 15:39:03 EDT 2008

I would guess that the reason is that it hasn't been implemented yet...

...still it does seem to be a real shame if nothing in this area can  
make it into Haskell'  .... (and it's not just Num .... Monad  
inheriting from Functor etc)

...it's a lot less sexy than something like TF, but I think it'd add a  
huge amount of value from the pragmatic point of view.


On 21 Apr 2008, at 19:40, Jacques Carette wrote:

> I tried to see the discussion that led to class aliases being  
> rejected as a proposal, but could not find links on the Wiki.  In  
> fact, in Trac (#101) that proposal is still a 'maybe', but with no  
> updates.  Is there a competing proposal that got accepted?
> [Without a mechanism like class aliases, breaking up Num into a  
> hierarchy of proper mathematical concepts becomes too unwieldly to  
> be realistic.  This is a real stumbling block for anyone trying to  
> use the class system to encode fine-grained mathematical concepts.]
> Jacques
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime

More information about the Haskell-prime mailing list