Obsah:
Definice - Co znamená Qi?
Qi je funkční programovací jazyk, který se dobře hodí pro matematická vyhodnocení a programování matematických rovnic a funkcí. Qi nabízí výhody přizpůsobení vzoru, lambda počtu, konzistence, statické kontroly typu a volitelného líného vyhodnocení.
Qi je napsáno v Common Lisp a vytváří efektivní typy zabezpečených programů, které mohou běžet na jakémkoli počítači. Byl vyvinut dr. Markem Tarverem a poprvé vyšel pod GPL v roce 2005, ale toto bylo považováno za nevhodné pro komerční aplikace. Qi II je k dispozici na základě dvou licencí: jedna pro vývoj uzavřeného zdroje, proprietární software a druhá pro vzdělávací a osobní použití.
Techopedia vysvětluje Qi
Qi byl poprvé vydán v dubnu 2005. Qi definuje typy pomocí logického zápisu sekvenčního počtu a podle interpretace Qi lze tento typový zápis považovat za Turingův úplný jazyk. Prostřednictvím této notace může Qi přiřadit rozšířitelné typy systémů do Common Lisp Libraries, což je docela mocná vlastnost jazyka.
Projekt L21 měl za cíl modernizovat Lisp tak, aby dokázal držet krok s neustále se měnícími potřebami práce s počítačem v 21. století; odtud jméno. Projekt byl zahájen, protože Lisp měl určité výzvy, které bránily jeho širšímu přijetí. Dr. Tarver identifikoval tyto výzvy konkrétně jako nedostatek shody vzorců, procedurální kontaminace, nekonzistentnost s ohledem na lambda kalkul a nedostatek statického psaní.
