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