Алиса функциональный язык программирования на основе Standard ML, продлен с богатой поддержкой одновременной, распределенных и программирования в ограничениях.
Вот некоторые ключевые особенности "Алиса ML":
ย ท Фьючерсы: лень и легкий параллелизм с синхронизацией потоков данных
ย ท высшего порядка модулей: высокого порядка функторы и абстрактные подписей
ย ท Пакеты: интеграции статическая с динамической типизации и модулей первого класса
ย ท травления: высшего порядка типа сейф, общий и независимый от платформы настойчивость
ย ท Компоненты: платформы независимость и типа безопасно динамическая загрузка модулей
ย ท распространения: типизированные кросс-платформенных функции дистанционного и сетевой мобильности
ย ท Ограничения: решения комбинаторное проблемы с использованием распространения ограничений и программируемый поиск
Элис Система богатый система с открытым исходным кодом программирования показывая следующие инструменты:
ย ท виртуальной машины: портативный В.М. с поддержкой точно в срок составления
ย ท Интерактивная система: переводчик, как интерактивный Интерактивная
ย ท компилятор Пакетное: раздельная компиляция
ย ท Статический линкер: типобезопасный комплектации компонентов
ย ท инспектор: инструмент для интерактивного проверяющих структур данных
ย ท Проводник: инструмент для интерактивного исследования проблем поиска
ย ท GTK +: привязки для библиотеки инструментарий GUI Gnome
ย ท SQL: библиотека для доступа к базам данных SQL
ย ท XML: простая библиотека для разбора XML документов
Что нового в этой версии:
ย ท Алиса теперь включает некоторые из предложенных расширений для преемника ML.
ย ท Байткод дрожание теперь блок выполнения по умолчанию.
ย ท Документация включает в себя ограничение программирования учебника, и библиотека ограничение теперь использует текущую стабильную версию Gecode.
Комментарии не найдены