Съдържание:
Определение - Какво означава Qi?
Qi е функционален език за програмиране, който е много подходящ за математически оценки и програмиране на математически уравнения и функции. Qi предлага предимствата на съвпадение на образи, консистенция на изчисляване на ламбда, статична проверка на типа и незадължителна мързелива оценка.
Qi е написано на Common Lisp, генериращи ефективни защитни програми, които могат да се изпълняват на всяка машина. Той е разработен от д-р Марк Тарвър и за първи път пуснат под GPL през 2005 г., но това беше счетено за неподходящо за търговски приложения. Qi II се предлага под два собствени лиценза: единият е за разработване на затворен код, собственически софтуер, а другият е за образователна и лична употреба.
Техопедия обяснява Чи
Qi е публикуван за първи път през април 2005 г. Qi дефинира типовете, използвайки логическа нотация на последователно смятане и съгласно интерпретацията на Qi, този тип нотация може да се счита за Тюринг пълен език. Чрез тази нотация Qi може да присвоява системи с разширим тип в Common Lisp Libraries, което е доста мощна характеристика на езика.
Проектът L21 е имал за цел да модернизира Lisp, така че да може да бъде в крак с постоянно променящите се нужди от компютърни технологии през 21 век; оттук и името. Проектът стартира, защото Лисп имаше някои предизвикателства, които преградиха пътя му за по-широко приемане. Д-р Тарвър определи тези предизвикателства по-специално като липса на съвпадение по образец, процедурно замърсяване, несъответствие по отношение на ламбда изчислението и липса на статично въвеждане.
