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

*To*: srfi-77@xxxxxxxxxxxxxxxxx*Subject*: Re: My comments*From*: Marcin 'Qrczak' Kowalczyk <qrczak@xxxxxxxxxx>*Date*: Wed, 19 Oct 2005 22:23:45 +0200*Delivered-to*: srfi-77@xxxxxxxxxxxxxxxxx*In-reply-to*: <20051019191720.GA24703@xxxxxxxxxxxxxxxx> (Bradd W. Szonye's message of "Wed, 19 Oct 2005 12:17:20 -0700")*Mail-followup-to*: srfi-77@xxxxxxxxxxxxxxxxx*References*: <87wtk9qro1.fsf@xxxxxxxxxxxxx> <20051019191720.GA24703@xxxxxxxxxxxxxxxx>*Sender*: Marcin 'Qrczak' Kowalczyk <qrczak@xxxxxxxxxx>*User-agent*: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

"Bradd W. Szonye" <bradd+srfi@xxxxxxxxxx> writes: >> I would reject the concept of inexact integers .... > > While they seem silly for small integers, inexact integers make > sense for huge values. For example, people often round huge integers > to the nearest million or billion. R5RS tries to make exactness an independent property from the value. IMHO it goes too far in allowing inexact arguments to certain operations. Let's consider R5RS operations defined on integers which might be inexact (I think these are all): A. odd? even? integer->char B. quotient remainder modulo C. gcd lcm and operations defined on rationals which also might be inexact: D. numerator denominator Operations from group A have ill-defined results when the accuracy of the input is worse than 1. Operations from groups C and D have ill-defined results when the inputs are not known exactly: the slighthest inaccuracy in the input yields a totally different answer. R5RS gives them too broad domain. Operations from group B are well defined even for real numbers, except for boundary cases. They are continuous on intervals. R5RS gives them too narrow domain. In no case "an integer number, known exactly or not" or "a rational number, known exactly or not" is a sensible domain for an arithmetic function. -- __("< Marcin Kowalczyk \__/ qrczak@xxxxxxxxxx ^^ http://qrnik.knm.org.pl/~qrczak/

**Follow-Ups**:**Re: My comments***From:*Bradd W. Szonye

**Re: My comments***From:*Bradd W. Szonye

**References**:**My comments***From:*Marcin 'Qrczak' Kowalczyk

**Re: My comments***From:*Bradd W. Szonye

- Prev by Date:
**Re: My comments** - Next by Date:
**Re: My comments** - Previous by thread:
**Re: My comments** - Next by thread:
**Re: My comments** - Index(es):