Numbers : [Haskell-cafe] Number overflow

Carter T Schonwald cartazio at
Thu Jul 12 16:32:11 EDT 2007

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?
My understanding was that doing this would make haskell numerics much more sensible. Eg array indexing could be done by any type that is isomorphic to natural numbers etc.


----- Original Message ----
From: Lennart Augustsson <lennart at>
To: Bulat Ziganshin <Bulat.Ziganshin at>
Cc: haskell-cafe at
Sent: Thursday, July 12, 2007 4:14:31 PM
Subject: Re: Re[2]: [Haskell-cafe] Number overflow

Of course you should be able to specify what types you want.  But it would be nice if the default was correct rather than fast.

On 7/12/07, Bulat Ziganshin
 <bulat.ziganshin at> wrote:
Hello Thomas,

Thursday, July 12, 2007, 3:14:57 AM, you wrote:
> The differences between Int and Integer operations are mostly constant factors.

well, i will be unlucky if in my real-world program Integers would be

used instead of Ints. defaulting provides a great way to solve this
dilemma, so good-for-anyone approach may be: default defaulting to
Integer instead of Int, and use (Num a) instead of Int in all standard
functions such as length. with jhc-like automatic specialization

feature this should provide enough speed

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at


Haskell-Cafe mailing list
Haskell-Cafe at

Haskell-Cafe mailing list
Haskell-Cafe at

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Haskell-Cafe mailing list