Re: Numbers : [Haskell-cafe] Number overflow

2007-07-12 Thread Carter T Schonwald
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.

cheers,
-Carter

- Original Message 
From: Lennart Augustsson [EMAIL PROTECTED]
To: Bulat Ziganshin [EMAIL PROTECTED]
Cc: haskell-cafe@haskell.org
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
 [EMAIL PROTECTED] 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,
 Bulatmailto:[EMAIL PROTECTED]

___

Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe




___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe




___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: Numbers : [Haskell-cafe] Number overflow

2007-07-12 Thread 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.


b
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe