MLton ist ein Standard-ML-Compiler, der das gesamte Programm optimiert. Er erzeugt eigenständig ausführbare Programme mit exzellenter Performance, unterstützt die vollständige SML 97-Sprache und besitzt eine vollständige Basisbibliothek. Er verfügt auch über eine schnelle C-FFI, Profiling von Laufzeiten und Allokationen auf Quellcode-Ebene und viele nützliche Bibliotheken. (non)