The `write' function is complex in the general case to handle all sorts
of things (such as cycles or custom-write functions), but I've
streamlined the path for printing numbers so that it's a little faster
than `number-string' + `write-string'.
FWIW, you can get another 20% by lifting out the
At Tue, 05 Jun 2012 22:05:26 -0600,
Neil Toronto wrote:
Thanks! I've adapted it and will commit the changes with the ones to
racket/math.
Great, thanks!
I've managed to make it always find a counterexample. But there are only
a few single-flonum - flonum issues. Most of them are because
I think the current semantics of submodules doesn't work for Typed
Racket, and in general for the technique described in Language as
Libraries, but we can fix it easily.
In particular, consider a language that lets you statically assert
that an identifier is bound to 5, so that this program is a
At Wed, 6 Jun 2012 13:32:19 -0400, Sam Tobin-Hochstadt wrote:
However, we can't just
add `module*` to the stop list at the moment, because if anything is
in the stop list, then all the core forms are added, and then we
wouldn't fully expand the program.
However, I think we can relax this
4 matches
Mail list logo