[Haskell-cafe] Re: Sillyness in the standard libs.

Aaron Denney wnoise at ofb.net
Mon Nov 19 17:57:14 EST 2007

On 2007-11-19, Andrew Coppin <andrewcoppin at btinternet.com> 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.

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.

Aaron Denney

More information about the Haskell-Cafe mailing list