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.