If you are interested in Standard ML, take a look at http://mlton.org/ http://mlton.org/ Mlton is one of the few whole-program optimizing compilers. One time I

If you are interested in Standard ML, take a look at http://mlton.org/ http://mlton.org/ Mlton is one of the few whole-program optimizing compilers. One time I wrote a DSL in Standard ML to analyze 100GB+ of memory-mapped data. Thanks to Mlton, the result was very performant. Thanks to SML, I felt very productive and the result was pretty much bug-free. Highly recommended.