[MLton-user] introduction

Dave Herman dherman at ccs.neu.edu
Thu May 24 17:45:57 PDT 2007


Stephen suggested that I introduce myself and my project. My name's Dave 
Herman, and I'm a grad student at Northeastern University, studying 
under Mitchell Wand. I'm also a member of the ECMA-TG1 working group 
specifying ECMAScript Edition 4, better known as JavaScript 2.0.

One of the decisions we've made in the specification process has been to 
use SML as our meta-language in specifying the semantics of ECMAScript, 
which has the nice side effect of being an executable semantics that 
serves as a reference implementation.

We've been using SML/NJ so far, but I'm planning on experimenting with 
MLton to see how easy it is to port what we've got, and how much 
speed-up we can get. From the great things I hear about MLton I'm 

We haven't yet released the source code or any binaries, but development 
has been moving along quickly, so we're hoping to in the near future. 
For those who might be interested, I'll send a quick post to the list 
when we do. We're always interested in feedback!

Best regards,

Dave Herman
dherman at ccs.neu.edu

More information about the MLton-user mailing list