17 Sep
2005
17 Sep
'05
4:07 p.m.
On 2005-09-17, Jason Dagit
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 -><-