[Haskell-cafe] Re: Re[2]: Eq Type Class: Overloading (==)

Aaron Denney wnoise at ofb.net
Sat Sep 17 16:07:45 EDT 2005

On 2005-09-17, Jason Dagit <dagit at eecs.oregonstate.edu> wrote:
> On Sep 17, 2005, at 1:43 AM, Bulat Ziganshin wrote:
>> about making Bool a class - it is the same issue as making
>> head/map/... belonging to some Collection class. we need to change
>> standard Prelude or add to Haskell "supertyping" mechanism, proposed
>> by John Meacham, as i remember
> A link to supertyping can be found here:
> http://repetae.net/john/recent/out/supertyping.html
> After reading that, I wonder why it's not implemented.

Not enough people calling for it.

> It seems like a wonderfully useful idea.

It is.  It would be terribly useful for those trying to prototype a
new Prelude, and clean up the mathematical structures.

Aaron Denney

More information about the Haskell-Cafe mailing list