Innehållsförteckning:
Definition - Vad betyder Qi?
Qi är ett funktionellt programmeringsspråk som är väl lämpat för matematiska utvärderingar och programmering av matematiska ekvationer och funktioner. Qi erbjuder fördelarna med mönstermatchning, lambda-beräkningskonsistens, statisk typkontroll och valfri lat utvärdering.
Qi är skriven i Common Lisp och genererar effektiva säkerhetsprogram som kan köras på vilken maskin som helst. Det utvecklades av Dr. Mark Tarver och släpptes först under GPL 2005 men detta ansågs olämpligt för kommersiella tillämpningar. Qi II görs tillgänglig under två egna licenser: en för att utveckla sluten källa, egen programvara och den andra är för utbildnings- och personligt bruk.
Techopedia förklarar Qi
Qi släpptes första gången i april 2005. Qi definierar typer med logisk notering av sekventiell kalkyl och under Qis tolkning kan denna typnotation betraktas som ett Turing komplett språk. Genom denna notering kan Qi tilldela system av utbyggbar typ till Common Lisp Libraries, vilket är en ganska kraftfull funktion i språket.
L21-projektet var tänkt att modernisera Lisp så att det kan hålla jämna steg med de ständigt förändrade datorbehoven under 2000-talet; därmed namnet. Projektet lanserades eftersom Lisp hade några utmaningar som spärrade vägen för ett bredare antagande. Dr Tarver identifierade dessa utmaningar specifikt som vanliga Lisps-brist på mönster-matchning, procedurföroreningar, inkonsekvens med avseende på lambda-beräkningen och brist på statisk typning.
