Sam Tobin-Hochstadt <sa...@ccs.neu.edu> writes: > On Mon, May 24, 2010 at 11:51 PM, Michael Sperber > <sper...@deinprogramm.de> wrote: >> >> Sam Tobin-Hochstadt <sa...@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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
