Isn't the numeric tower just another matter of language semantics, after all?
[It sure would be nice to provide a "JavaScript numbers" language level in DrScheme, so people can test under browser numbers and make sure those are sufficient for their programs. If they are, Moby can generate much simpler and vastly faster code.] Shriram On Tue, May 25, 2010 at 9:46 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > 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 > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
