MLton - это оптимизирующий компилятор всей программы с открытым исходным кодом для Standard ML . [1] Разработка MLton началась в 1997 году [1] и продолжается [2] всемирным сообществом разработчиков и пользователей, которые помогли перенести MLton на ряд платформ. MLton принимала участие в Google Summer of Code 2013 .
MLton стремится создавать быстрые исполняемые файлы и поощрять быстрое прототипирование и модульное программирование за счет устранения неэффективности, часто связанной с функциями высокого уровня. [1] Он также направлен на облегчение крупномасштабного программирования через систему MLBasis, [3] упрощая модульность и управление пространствами имен. Как компилятор всей программы, он отличается отсутствием интерактивного верхнего уровня , типичного для сред Standard ML. [4]
MLton включает в себя несколько библиотек в дополнение к основе , а также возможности для помощи в переносе кода с SML / NJ, один из наиболее популярных реализаций SML, [ править ] включая поддержку менеджера компиляции SML / NJ в.
Рекомендации
- ^ a b c Стивен Уикс (16 сентября 2006 г.). «Компиляция всей программы в MLton» (PDF) . ML Workshop 2006, приглашенная лекция. Архивировано из оригинального (PDF) 29 июня 2007 года . Проверено 2 декабря 2007 .
- ^ https://github.com/MLton/mlton
- ^ http://mlton.org/MLBasis
- ^ http://mlton.org/Drawbacks