Re: [Haskell-cafe] Directed rounding in haskell ?

On 11/04/2014, at 2:15 AM, Alp Mestanogullari wrote:

Maybe these packages could be relevant/useful: - https://github.com/ekmett/rounded - https://github.com/ekmett/intervals

The latter of these has a rich interface, but I a b + I a' b' = (a + a') ... (b + b') _ + _ = Empty (Numeric.Interval.Internal.hs) does not do the necessary directed rounding. The package looks like an excellent way to deal with intervals of exact numbers, but for floating point numbers it's not at all what one usually intends.