SMLtoJS

SMLtoJs (pronounced "SML toys") is a compiler from Standard ML to JavaScript, which allows programmers to enjoy the power of Standard ML static typing, higher-order functions, pattern matching, and modules for programming client-side web applications.

 

SMLtoJs compiles all of Standard ML, including most of the Standard ML Basis Library. It also has support for calling JavaScript functions and for executing plain JavaScript

 

http://www.itu.dk/people/mael/smltojs/

• All of Standard ML 
• Standard ML Basis Library support
• JavaScript integration
• Simple DOM access
• Optimization
• Reactive Web Programming

cf. GWT (Google's Web Toolkit with a Java to JavaScript compiler)