Inhoudsopgave:
Definitie - Wat betekent Qi?
Qi is een functionele programmeertaal die zeer geschikt is voor wiskundige evaluaties en het programmeren van wiskundige vergelijkingen en functies. Qi biedt de voordelen van patroonafstemming, consistentie van de lambda-calculus, controle van het statische type en optionele luie evaluatie.
Qi is geschreven in Common Lisp en genereert veilige, veilige programma's die op elke machine kunnen worden uitgevoerd. Het werd ontwikkeld door Dr. Mark Tarver en voor het eerst uitgebracht onder GPL in 2005, maar dit werd ongeschikt geacht voor commerciële toepassingen. Qi II wordt beschikbaar gesteld onder twee eigen licenties: één voor het ontwikkelen van closed source, eigen software en de andere is voor educatief en persoonlijk gebruik.
Techopedia legt Qi uit
Qi werd voor het eerst uitgebracht in april 2005. Qi definieert types met behulp van logische notatie van opeenvolgende calculus en onder Qi's interpretatie kan deze typeaantekening worden beschouwd als een Turing complete taal. Door deze notatie kan Qi uitbreidbare typen systemen toewijzen aan Common Lisp Libraries, wat een vrij krachtige functie van de taal is.
Het L21-project was bedoeld om Lisp te moderniseren zodat het de steeds veranderende computerbehoeften in de 21ste eeuw kan bijbenen; Vandaar de naam. Het project werd gelanceerd omdat Lisp enkele uitdagingen had die zijn weg versperden voor bredere acceptatie. Dr. Tarver identificeerde deze uitdagingen specifiek als Common Lisps gebrek aan patroonafstemming, procedurele besmetting, inconsistentie met betrekking tot lambda-calculus en gebrek aan statisch typen.
