Cuprins:
Definiție - Ce înseamnă Qi?
Qi este un limbaj de programare funcțional care este bine potrivit pentru evaluările matematice și pentru programarea ecuațiilor și funcțiilor matematice. Qi oferă avantajele potrivirii modelului, coerenței calculului lambda, verificării tipului static și evaluării opționale leneșe.
Qi este scris în Common Lisp care generează programe eficiente de siguranță de tip care pot fi rulate pe orice mașină. A fost dezvoltat de Dr. Mark Tarver și lansat pentru prima dată în GPL în 2005, dar acest lucru a fost considerat impropriu pentru aplicații comerciale. Qi II este disponibil sub două licențe de proprietate: una pentru dezvoltarea surselor închise, software proprietar și cealaltă este destinată utilizării educaționale și personale.
Techopedia explică Qi
Qi a fost lansat pentru prima dată în aprilie 2005. Qi definește tipurile folosind notația logică a calculului secvențial și în interpretarea lui Qi, această notare de tip poate fi considerată un limbaj Turing complet. Prin această notare, Qi poate atribui sisteme de tip extensibile Bibliotecilor Lisp comune, ceea ce este o caracteristică puternică a limbajului.
Proiectul L21 a fost menit să modernizeze Lisp, astfel încât să poată ține pasul cu nevoile în continuă schimbare de calcul din secolul 21; de unde și numele. Proiectul a fost lansat deoarece Lisp a avut unele provocări care i-au împiedicat calea spre adoptarea mai largă. Dr. Tarver a identificat aceste provocări, în special, ca lipsa de asociere a modelului, contaminarea procedurală, inconsecvența în ceea ce privește calculul lambda și lipsa tipografiei statice.
