What you're pointing out with these obvious claims is that the
proposal deserves some deliberation.
(I do sometimes wonder whether we should parameterize the language
over the numeric tower. It is my understanding that the tower
consumers a large amount of 'footprint' and I bet there are
applications where machine integers are just enough. But that's just a
dream probably.)
On May 25, 2010, at 3:31 AM, Michael Sperber wrote:
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
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
