At 03:12 -0800 1998/11/09, Simon Peyton-Jones wrote:
>* Default default. Still undecided (sigh). Should it be
> (Int, Float)
> (Integer, Double)
> (Integer, Rational)
> Several folk want Integer, but don't say whether they want Float,Double,
> Rational.
I think the default should be (Integer, Rational, Double) :-); none of
these types are really mathematically interchangeable. It is prudent to use
Double (64-bit IEEE floating numbers) over Float (32-bit IEEE floating
numbers) as a default, as 32-bit CPU's and better are likely to compute
Float operations by first converting them to Doubles: So Floats are then
are then slower with less precision, and the memory difference requirement
is normally not of any importance.
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
