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.