+1 for MLton. The lead maintainer was my compilers professor in university and he's a dedicated man who _loves_ what he does. It shows in his work and using MLt

+1 for MLton. The lead maintainer was my compilers professor in university and he's a dedicated man who _loves_ what he does. It shows in his work and using MLton was a very nice experience, especially compared to SML/NJ (which isn't bad, just a bit more difficult and the straight forward compilation of MLton).