[MLton] Hmmm.... ML

Daniel C. Wang danwang at CS.Princeton.EDU
Sat Oct 21 08:41:51 PDT 2006


http://lambda-the-ultimate.org/node/1784

I wonder how fast a MLton compiled version of the spec would be..


    Specifying ECMAScript via ML

Brendan Eich has just mentioned 
<https://mail.mozilla.org/private/es4-discuss/2006-October/000151.html> 
on the es4-discuss mailing list 
<https://mail.mozilla.org/private/es4-discuss> that we will be using ML 
as the definition language for the semantics of ECMAScript Edition 4 
<http://lambda-the-ultimate.org/node/1543>. One of the immediate 
benefits of this approach will be that our definition will also serve as 
a reference implementation. LtUers will of course recognize this as the 
approach of "definitional interpreters" (discussed on LtU here 
<http://lambda-the-ultimate.org/classic/message8879.html> and countless 
other times 
<http://www.google.com/search?q=site%3Alambda-the-ultimate.org+definitional+interpreters>).






More information about the MLton mailing list