[MLton] Hmmm.... ML

[Daniel C. Wang]

Henry Cejtin wrote:
> Note, even if they use MLton/SML, they are using first-class continuations
> (presumably for the usual encoding of funny control flow in the language) and
> so MLton isn't going to do great if it used much.
>
> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton
>   

They want to replace their Rsr5n style denotational semantics on paper 
with something they can execute.
Ecamascript 4 has a "yield" operator to support co-routines in the 
language, and again this is just for explanatory purposes. A reasonably 
fast interpreter is just a nice side effect. I suspect MLton call-cc 
will be fine.