[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Arithmetic issues - feedback

 Mike Sperber wrote:
 > Now, the Issues section in the SRFI is pretty long.  We were hoping to
 > get some feedback on where people stand on these issues...
 - Should a minimum precision be required for fixnums or flonums? 
   I would prefer not (principle of sufficient reason - von Leibniz ;-)
 - Generic arithmetic: I prefer possibility 4 (R5RS-style Generic Arithmetic). 
 - The x|53 mantissa default seems arbitrary and I'd rather see it
   unspecified (principle of sufficient reason).
 - Should R6RS allow other inexact reals beside the flonums?
   I don't know, but a related question:  Does the spec in principle
   disallow extensions for exact reals that are not exact rationals, 
   in the sense of Edalat, Potts, etc.?  
   (See e.g. http://www.doc.ic.ac.uk/~ae/exact-computation/ ).