Alice е функционален език за програмиране на базата на стандарт ML, удължен с богата подкрепа за едновременна, разпространява, и ограничение програмиране.
Ето някои основни характеристики на "Alice ML":
ย ท Futures: мързел и лек едновременност с синхронизация на данни поток
ย ท по-висок порядък модула: по-висок ред functors и абстрактни подписи
ย ท пакети: интегриране на статичен с динамично типизиране и модули първокласни
ย ท Pickling: по-висок порядък типово сейф, родовия и платформено-независима упоритост
ย ท Components: платформено-независимо и типа безопасно динамично натоварване на модулите
ย ท Разпределение: тип-безопасна междуплатформени отдалечени функции и мрежова мобилност
ย ท Ограничения: решаване combinatorical проблеми с помощта на размножаване ограничение и програмируем търсене
The Alice система е богата система с отворен код за програмиране с участието на следните инструменти:
ย ท виртуална машина: преносим VM с поддръжка на току-що в момент компилация
ย ท интерактивна система: преводач, подобни на интерактивна най-високо ниво
ย ท Batch съставител: отделна компилация
ย ท Static свързваща: тип-безопасна за връзване на компоненти
ย ท Инспектор: инструмент за интерактивно инспектиращите структури от данни
ย ท Explorer: инструмент за интерактивно разследва проблеми с търсенето
ย ท Gtk +: обвързващо за Gnome инструментариум GUI библиотеката
ย ท SQL: библиотека за достъп до SQL бази данни
ย ท XML: прост библиотека за разбор на XML документи
Какво е новото в тази версия:
ย ท Алис вече включва някои от предложените разширения за Наследник ML.
ย ท трептене на байткод сега е единица за изпълнение по подразбиране.
ย ท Документацията включва ограничение програмиране урок, и ограничение библиотеката вече използва текущата стабилна версия на Gecode.
Коментари не е намерена