[Haskell-cafe] Sillyness in the standard libs.

[Henning Thielemann]

On Mon, 19 Nov 2007, Andrew Coppin wrote:

> Arthur van Leeuwen wrote:
> > A closely related issue: fromIntegral is in Integral which also
> > requires quotRem. However,
> >     the two are semantically quite disjoint. I can *easily* see the
> > semantics of fromIntegral
> >     on EpochTime, but not the semantics of quotRem on EpochTime.
> > Having fromIntegral
> >     would solve the above puzzle... :)
>
> 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.
>
> (By all means, somebody correct me if I'm wrong here...!)

http://www.haskell.org/haskellwiki/Mathematical_prelude_discussion
http://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics#Type_class_hierarchies