Satura rādītājs:
Definīcija - ko nozīmē Qi?
Qi ir funkcionālā programmēšanas valoda, kas ir labi piemērota matemātiskiem novērtējumiem un matemātisko vienādojumu un funkciju programmēšanai. Qi piedāvā modeļa saskaņošanas, lambda aprēķina konsekvences, statiskā tipa pārbaudes un izvēles slinka novērtējuma priekšrocības.
Qi ir rakstīts Common Lisp, ģenerējot efektīvas drošas programmas, kas var darboties jebkurā mašīnā. To izstrādāja Dr Marks Tarvers, un pirmo reizi to izlaida GPL 2005. gadā, taču tas tika uzskatīts par nepiemērotu komerciāliem lietojumiem. Qi II ir pieejams ar divām patentētām licencēm: vienu slēgta avota, patentētas programmatūras izstrādei, bet otru - izglītības un personīgai lietošanai.
Techopedia skaidro Qi
Qi pirmo reizi tika izlaists 2005. gada aprīlī. Qi definē tipus, izmantojot secīgu aprēķinu loģisku notāciju, un saskaņā ar Qi interpretāciju šo tipa apzīmējumu var uzskatīt par pilnīgu Turingas valodu. Izmantojot šo apzīmējumu, Qi var piešķirt paplašināma tipa sistēmas Common Lisp bibliotēkām, kas ir diezgan spēcīgs valodas elements.
L21 projekts bija paredzēts, lai modernizētu Lisp, lai tas spētu neatpalikt no mainīgajām 21. gadsimta skaitļošanas vajadzībām; tātad nosaukums. Projekts tika uzsākts, jo Lisp bija daži izaicinājumi, kas kavēja tā plašāku ieviešanu. Dr Tarvers identificēja šīs problēmas īpaši kā parastos sarakstus, kas neatbilst modeļa saskaņošanai, procesuālajam piesārņojumam, nekonsekvencei attiecībā pret lambda aprēķiniem un statiskās mašīnrakstīšanas trūkums.
