MLton - это оптимизирующий компилятор всей программы с открытым исходным кодом для Standard ML. Разработка MLton началась в 1997 году и продолжается всемирным сообществом разработчиков и пользователей, которые помогли перенести MLton на ряд платформ. MLton принимала участие в Google Summer of Code 2013.
MLton стремится производить быстрые исполняемые файлы и поощрять быстрое прототипирование и модульное программирование, устраняя неэффективность, часто связанную с функциями высокого уровня. Он также направлен на облегчение крупномасштабного программирования через систему MLBasis, упрощая модульность и управление пространствами имен. Как компилятор всей программы, он отличается отсутствием интерактивного верхнего уровня, типичного для сред Standard ML.
MLton включает в себя несколько библиотек в дополнение к базовой, включая ML Language Processing Tools с реализацией ANTLR и MLRISC с генераторами кода для процессоров с сокращенным набором команд. Он также реализует функции, которые помогают переносить код из SML / NJ, одной из наиболее популярных реализаций SML, включая поддержку диспетчера компиляции SML / NJ.