[Haskell-cafe] Re: default for quotRem in terms of divMod?
isaacdupree at charter.net
Sun Aug 12 08:20:27 EDT 2007
Henning Thielemann wrote:
> On Sun, 12 Aug 2007, Lennart Augustsson wrote:
>> CPU design cannot be changed, because they implement well defined ISA.
> What is ISA? Why is it not possible to add CPU functions for `div` and
"Instruction set architecture" - it would take a concerted industry
effort to add these to new machines (and new machines only, obviously),
maybe. Then compilers would have to support the new instructions.
Probably it would not help efficiency much, anyway (div and mod are
rather fast too, Haskell is generally slower with current compilers,
algorithms can often be defined in a way that uses only nonnegative
> If efficiency on current CPUs is the only advantage of `quot` and `rem`,
> then for future versions of Haskell I propose to fix these functions to
> the type Int rather than making them class methods. For non-machine types
> like Integer the efficiency argument does certainly not hold.
It is not. *Sometimes I want to round towards zero*. Aside from my
Haskell-implemented Integer type, which as well as using quotRem also
provides a quotRem that is a little faster than divMod (I have no idea
what GMP's speeds are like)... I believe I have used quotRem to round a
difference (a directed distance vector, in a discrete space) towards
zero, while preserving its sign. And I was using Integer, not Int, for
correctness. I think quotRem deserves to stay usable on Integrals, and
also it would break too many things to remove it from the class (it may
be something to consider for Prelude redesigns though, along with the
rest of the numeric hierarchy!).
More information about the Haskell-Cafe