Sam Tobin-Hochstadt wrote at 10/18/2010 11:43 AM:
Typed Racket is designed to be used in modules. The REPL is supported for
simple interactions, but the form-at-a-time nature makes some things much
harder, and some things impossible (such as mutually-recursive functions).
Since some of these issues make documentation examples harder, the situation
may improve, but I can't guarantee it.
It would be good to see Typed Racket support the REPL as much as possible.
REPL support is not as important to me as performance improvements. But
there is a Lisp tradition of making toplevel and REPLs work, using dirty
tricks if necessary, and people do like their REPLs.
(I naively assume that you could even do mutually-recursive functions in
a REPL, by using placeholders and deferring some of the checking til
you've seen all the pertinent definitions.)
--
http://www.neilvandyke.org/
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
