On 2007-07-12, Bryan O'Sullivan
Carter T Schonwald wrote:
Out of curiosity, what ever happened to the proposal a while back to refactor the Num class etc so that the operations would be grouped according to what abstract algebra notions they correspond to?
The numeric prelude proposals have a wiki page:
http://www.haskell.org/haskellwiki/Mathematical_prelude_discussion
I think it's one of those things that doesn't have enough people itching over it for the collective mind to scratch.
Well, that, and people are busy, and how to do some things depends on which of MPTC, Fundeps, AT, etc. make it into Haskell'. I mean, it's obvious it needs to be dealt with, and most everybody agrees on the general shape of things, the big concerns are with how much extra stuff beyond the basics should be defined by Haskell' rather than just enabled by a better numeric hierarchy. -- Aaron Denney -><-