Obsah:
Definícia - Čo znamená Qi?
Qi je funkčný programovací jazyk, ktorý sa dobre hodí pre matematické hodnotenia a programovanie matematických rovníc a funkcií. Qi ponúka výhody porovnávania vzorov, lambda-kalkulárneho počtu, kontroly statického typu a voliteľného lenivého vyhodnotenia.
Qi je napísaný v Common Lisp, ktorý generuje efektívne typy bezpečných programov, ktoré môžu bežať na akomkoľvek počítači. Bol vyvinutý Dr. Markom Tarverom a prvýkrát uvedený na trh pod GPL v roku 2005, ale to sa považovalo za nevhodné pre komerčné aplikácie. Qi II je k dispozícii na základe dvoch vlastníckych licencií: jedna pre vývoj uzavretého zdroja, proprietárny softvér a druhá pre vzdelávacie a osobné použitie.
Techopedia vysvetľuje Qi
Qi bolo prvýkrát vydané v apríli 2005. Qi definuje typy pomocou logického zápisu sekvenčného počtu a podľa interpretácie Qi možno tento typ zápisu považovať za Turingovsky úplný jazyk. Prostredníctvom tohto zápisu môže Qi priraďovať rozšíriteľné typy systémov do bežných knižníc Lisp, čo je pomerne silná vlastnosť jazyka.
Zámerom projektu L21 bolo modernizovať Lisp tak, aby dokázal držať krok s neustále sa meniacimi potrebami výpočtovej techniky v 21. storočí; odtiaľ názov. Projekt bol spustený, pretože Lisp mal určité problémy, ktoré bránili jeho širšiemu prijatiu. Tarver tieto problémy identifikoval konkrétne ako nedostatok porovnávania vzorov, procedurálnu kontamináciu, nekonzistentnosť s ohľadom na lambda kalkul a nedostatok statického písania.
