Andre van Tonder scripsit:

> It would be impractical for REPL usage, where the same definition may
> be iteratively modified and executed many times during development.

The SML/NJ REPL actually does work like this:  if you redefine an identifier,
it's a rebinding that doesn't affect any uses that have come before.  This
can be both good and bad: sometimes it's easier to throw away the ML world
rather than redefine all the dependents of a bad definition.

-- 
I now introduce Professor Smullyan,             John Cowan
who will prove to you that either               [email protected]
he doesn't exist or you don't exist,            http://www.ccil.org/~cowan
but you won't know which.                               --Melvin Fitting

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to