Tartalomjegyzék:
Meghatározás - Mit jelent a Qi?
A Qi egy funkcionális programozási nyelv, amely alkalmas a matematikai kiértékelésekhez, valamint a matematikai egyenletek és függvények programozásához. A Qi a minta illesztés, a lambda kalkulus konzisztencia, a statikus típus ellenőrzése és az opcionális lusta értékelés előnyeit kínálja.
A Qi Common Lisp-ben íródott elő, amely hatékony típusú biztonságos programokat generál, amelyek bármilyen gépen futhatnak. Dr. Mark Tarver fejlesztette ki, és először a GPL keretében 2005-ben adták ki, de ezt kereskedelmi használatra alkalmatlannak ítélték. A Qi II két szabadalmi engedéllyel érhető el: az egyik zárt forrású, saját szoftver fejlesztésére, a másik pedig oktatási és személyes használatra.
A Techopedia magyarázza Qi-t
A Qi először 2005. áprilisában jelent meg. A Qi a szekvenciális kalkulus logikai jelölésével határozza meg a típusokat, és Qi értelmezése szerint ez a típusjelölés Turing teljes nyelvnek tekinthető. Ezen a jelölésen keresztül a Qi kiterjeszthető típusú rendszereket rendelhet a Common Lisp könyvtárakhoz, ami a nyelv meglehetősen erőteljes jellemzője.
Az L21 projekt célja a Lisp korszerűsítése volt, hogy képes legyen lépést tartani a 21. század folyamatosan változó számítástechnikai igényeivel; innen ered a neve. A projektet azért indították, mert Lispnek volt néhány kihívása, amelyek akadályozták meg a szélesebb körű alkalmazását. Dr. Tarver ezeket a kihívásokat konkrétan úgy határozta meg, mint a Közös Liszsek mintázat-illesztés hiánya, eljárási szennyeződés, következetlenség a lambda kalkulushoz viszonyítva és a statikus gépelés hiánya.
