altfloat: Alternative floating point support for GHC.
A replacement for the standard Haskell floating point types and supporting functions. There are a number of shortcomings which I feel severely hinder Haskell's utility for numerical computation. These shortcomings include
There is no way to sanely convert between Haskell's floating types -- not even between Double and CDouble. The implementation of the
realToFracfunction goes through
Rational, which loses information as
Rationalcannot represent all floating point values.
Making floating types an instance of
Ordmakes no sense.
Ordis for totally ordered data types, which floats are not. As a result, a number of library functions (such as
sort) produce nonsensical results.
Enuminstance for floating types similarly makes little sense. While
Integer, limiting their usefulness,
succcan be defined in a much more useful way.
Functions that should care about negative zeros, such as
abs, do not.
Some functions, such as
floor, have nonsensical behaviour for non-finite input.
The selection of floating point library functions pales in comparison to C. This problem is made worse since, as noted above, it is impossible to convert losslessly from
CDoublein order to use the FFI.
There is no mechanism for handling rounding modes or exceptions.
This package is intended to address all of the above issues, and more. All are currently addressed except for rounding modes and exceptions.
Also provided, for convenience, is an alternative to the standard Prelude which includes features from this library and the non-overlapping parts of the standard Prelude.
|Versions [RSS] [faq]||0.2, 0.2.1, 0.2.2, 0.3, 0.3.1|
|Dependencies||base (==4.*), ghc-prim, integer, integer-gmp, integer-simple [details]|
|Uploaded||by NickBowler at 2010-01-27T07:02:05Z|
|Downloads||4026 total (26 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs uploaded by user
Build status unknown [no reports yet]
Use the new split integer packages that come with GHC 6.12.
Use the integer-gmp package as opposed to integer-simple.
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info