Qi II

14:46

Qi II

Qi - функциональный язык программирования, реализованный поверх Common Lisp. Имеет опциональную статическую систему типов, основанную на секвенциальном исчислении, и общее направление на логическое программирование. Qi II имеет полную обратную совместимость с Qi

Нововведения Qi II:

Новая реализация - Qi II был переписан с нуля
Новая лицензия - GPL заменена двойной лицензией, позволяющей как Open Source, так и закрытое коммерческое использование
Типобезопасное ленивое вычисление по требованию
Новый компилятор с 4 уровнями оптимизации
Улучшена интеграция с CL
Работает под LispWorks
Некоторые конструкции в Qi II сделаны полиадическими
Улучшена связь с Prolog
Замыкания по правилам (rule closures)
Улучшена обработка зависимых типов

Скачать Qi II

www.linux.org.ru

Категория: Soft | Просмотров: 626 | Добавил: Root | Рейтинг: 0.0/0

E-mail отправителя *:
Раздел новости(н. Open Source) *:
Название новости *:
Текст новости *:
Источник:
Код безопасности *:

E-mail отправителя *:
SOFT *:
Опечатка/Ошибка *:

запомнить
Забыл пароль · Регистрация

Всего комментариев: 0

Логин:
Пароль: