Sadržaj:
Definicija - Što znači Qi?
Qi je funkcionalni programski jezik koji je dobro prilagođen za matematičko ocjenjivanje i programiranje matematičkih jednadžbi i funkcija. Qi nudi prednosti podudaranja uzoraka, konzistenciju računanja lambda, statičku provjeru tipa i neobaveznu procjenu lijenosti.
Qi je napisan u Common Lispu koji generira učinkovite programe sigurnog tipa koji se mogu izvoditi na bilo kojem računalu. Razvio ga je dr. Mark Tarver, a prvi put objavljen pod GPL-om 2005. godine, ali to se smatra neprikladno za komercijalne primjene. Qi II je dostupan pod dvije vlasničke licence: jedna za razvoj zatvorenog koda, vlasnički softver, a druga za obrazovnu i osobnu upotrebu.
Tehopedija objašnjava Qi
Qi je prvi put objavljen u travnju 2005. godine. Qi definira tipove koristeći logičku oznaku sekvencijalnog računa, a pod Qi interpretacijom, ovaj tip notacije može se smatrati cjelovitim Turingovim jezikom. Kroz ovaj zapis Qi može dodijeliti sustavima proširenog tipa u zajedničke Lisp knjižnice, što je prilično moćna značajka jezika.
Projekt L21 trebao je modernizirati Lisp kako bi mogao pratiti stalno promjenjive potrebe računarstva u 21. stoljeću; otuda i ime. Projekt je pokrenut jer je Lisp imao nekoliko izazova koji su mu zapretili put za šire usvajanje. Dr. Tarver identificirao je ove izazove kao nedostatak podudarnosti, proceduralna kontaminacija, nedosljednost u vezi s lambda računom i nedostatak statičkog tipkanja.
