Aaron Denney wrote:
On 2007-11-19, Andrew Coppin <[EMAIL PROTECTED]> wrote:
As I understand it, it's widely recognised that Haskell's current
numeric class hierachy is broken (or at best, not very well chosen), but
nobody came up with a better suggestion yet.
Oh, there are /lots/ of suggestions. Perhaps too many. But this is
one area that could really be improved by the use of ATs or MPTCs with
fundeps, and that's stalled some of the concrete proposals, as what
exactly is happening for Haskell' isn't too clear.
Er, yes... what *he* said.
(I understand there are a couple of similar proposals that have gone
nowhere because it's not clear what the best design choice is. E.g.,
there ought to be some generalisation of the words and lines functions,
but there isn't, because nobody can decide on the best generalisation to
pick.)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
