MLton - открытый, полностью программный, оптимизирующий стандартный компилятор ML. Особенности  ARM: Linux (Debian).  AMD64: Darwin (Mac OS X), FreeBSD, Linux (Debian, Fedora, Ubuntu, ...?), Solaris (10 и выше).  IA64: HPUX (11.11 и выше), Linux (Debian).  PowerPC64: AIX (5.2 и выше).  Sparc: Linux (Debian), Solaris (8 и выше).  Надёжность.  Полная реализация Базисной библиотеки.  Компилирует большие программы.  Поддержка больших массивов (до 321 - 1 на 32-битных системах, до 263-1 на 64-битных системах).  Спектакль.  Создает небольшие исполняемые файлы.  Unboxed встроенные массивы.  Быстрая арифметика произвольной точности на основе GnuMP.  Профилирование исходного уровня как для времени, так и для распределения.  Генератор парсеров MLYacc.  Расширения.  Базовая система ML для программирования очень велика.
    Сайт приложения