[Haskell-cafe] Re: Re: Eq Type Class: Overloading (==)
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:
> 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.
More information about the Haskell-Cafe