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

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

  • Новая реализация — Qi II был переписан с нуля
  • Новая лицензия — GPL заменена двойной лицензией, позволяющей как Open Source, так и закрытое коммерческое использование
  • Типобезопасное ленивое вычисление по требованию
  • Новый компилятор с 4 уровнями оптимизации
  • Улучшена интеграция с CL
  • Работает под LispWorks
  • Некоторые конструкции в Qi II сделаны полиадическими
  • Улучшена связь с Prolog
  • Замыкания по правилам (rule closures)
  • Улучшена обработка зависимых типов
www.linux.org.ru
Карта сайта: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34