Re: A plea for a new old language

[Francois-Rene Rideau <address@hidden>]

Regarding CAML, Chet Murthy had implemented support for call/cc
on caml-light (the predecessor to ocaml, that uses the same programming
model), based on copying the bytecode's stacks (however, mind that unlike
copying the C stacks, there are no issues with the GC).
Note that copying stacks is not "safe for space", this a same frame
may be copied infinitely many times instead of being captured but once.
Note also that copying stacks is semantically correct only because
mutable variables are all heap-allocated.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
Toleration is not about believing that stupid people are intelligent,
it's about letting stupid people be victims of their own stupidity
rather than being victims of yours.