MlTon is a compiler for Standard ML (see SmlLanguage). It boasts compilation of extremely fast executables (comparable with that of ObjectiveCaml), and an extremely simple ForeignFunctionInterface. It runs on most unix platforms including OSX and cygwin. Homepage: http://mlton.org/