Вышла новая версия компилятора MLton
После почти трехлетнего перерыва вышла новая версия оптимизирующего компилятора MLton для языка Standard ML.
Основные изменения -- поддержка новых платформ (AMD64/Darwin, IA64/HPUX, PowerPC64/AIX), а также исправление ошибок.
MLton осуществляет полнотекстовую (whole-program) компиляцию программ на SML. Полнотекстовая компиляция позволяет достичь высокого уровня оптимизации. Аналогом MLton являются Stalin для Scheme и jhc для Haskell.
MLton поддерживает стандарт SML'97, SML Basis Library, имеет свой FFI (т.е. может вызывать C-функции без оберток) и другие полезные расширения. MLton генерирует небольшие исполнимые файлы,не требующие внешнего рантайма.
Подробнее о языке SML: http://en.wikipedia.org/wiki/Standard_ML
Подробнее о компиляторе: http://mlton.org/Features