Javascript 2 reference implementation in Standard ML

Kitchen Linker says this is way cool:

As we've discussed before here on LtU, the reference implementation of ECMAScript is being written in Standard ML. This choice should have many benefits, including:

• to make the specification more precise than previous pseudocode conventions
• to give implementors an executable framework to test against
• to provide an opportunity to find bugs in the spec early
• to spark interest and spur feedback from the research and user communities
• to provide fodder for interesting program analyses to prove properties of the language (like various notions of type soundness)
• to use as a test-bed for interesting extensions to the language