[MLton] Hmmm.... ML
Stephen Weeks
sweeks at sweeks.com
Sat Oct 21 23:32:02 PDT 2006
First-class continuations are not needed to implement nonlocal exits
and are not needed to implement threads. Exceptions will suffice for
the former and MLton has user-level threads which can used to model
Javascript's threads. I don't think anything in Javascript (even the
new version) requires first-class continuations to explain. It is
also of course possible (even easy) to write a semantics by
representing continuations explicitly rather than relying on the
metalanguage, in which case one can do whatever one wants (including
constant-time call/cc).
More information about the MLton
mailing list