[plt-dev] Inexact integers

From: Michael Sperber (sperber at deinprogramm.de)
Date: Tue May 25 03:31:15 EDT 2010

Sam Tobin-Hochstadt <samth at ccs.neu.edu> writes:

> On Mon, May 24, 2010 at 11:51 PM, Michael Sperber
> <sperber at deinprogramm.de> wrote:
>>
>> Sam Tobin-Hochstadt <samth at ccs.neu.edu> writes:
>>
>>> but it seems entirely orthogonal to the idea of getting rid of inexect
>>> integers.
>>
>> How so?
>
> The concept of inexact integers is just a decision about what the
> `integer?' predicate produces for values such as -17.0.  It says
> nothing about whether there should be inexact numbers in general, or
> generic arithmetic operations, or any of the other issues your paper
> discusses.

Well, but the decision to have (integer? -17.0) => #t is rooted in the
design of the numerical tower.  In particular, I would think it has
implications for:

(= -17.0 -17) => ?
(rational? -17.0) => ?

etc.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla


Posted on the dev mailing list.