LINUX.ORG.RU

Sml


10

0

Всего сообщений: 4

Вышла новая версия компилятора MLton

Группа Open Source

После трехлетнего перерыва вышла новая версия оптимизирующего компилятора MLton для языка Standard ML.

Основные изменения:

  • Компилятор
    • Улучшение сообщений об ошибках типов
    • Удалена возможность генерации байт-кода
    • Удалена поддержка .cm файлов, с помощью утилиты cm2mlb (доступной в базовой поставке) возможно сконвертировать CM проекты в MLB проекты, сохраняя область видимости идентификаторов модуля
    • Исправление ошибок, changelog
  • Runtime
    • Исправление ошибок, changelog
  • Язык
    • Директива (*#line line:col «file» *) работает с относительными путями файлов
    • В ML Basis annotations добавлена директива «resolveScope»
  • Библиотеки
    • Улучшена производительность String.concatWith
    • Используются битовые операции для REAL.class и других низкоуровневых операций
    • Поддержка дополнительных переменных в Posix.ProcEnv.sysconf
    • Исправление ошибок
    • Удален MLton.Socket
    • Обновлены: ckit library, MLRISC library, SML/NJ library
    • Добавлена MLLPT library
  • Дополнительные инструменты
    • Поддержка работы с относительными путями файлов в директиве (*#line line:col «file.lex» *) добавлена в mllex и mlyacc
    • Исправлена ошибка с обработкой комментариев в mlyacc

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

>>> Подробности

 ,

encyrtid ()

Еще новости

Форум