[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