Indholdsfortegnelse:
Definition - Hvad betyder Qi?
Qi er et funktionelt programmeringssprog, der er velegnet til matematiske evalueringer og programmering af matematiske ligninger og funktioner. Qi tilbyder fordelene ved mønster matching, lambda calculus konsistens, statisk type kontrol og valgfri doven evaluering.
Qi er skrevet i Common Lisp og genererer effektive type sikre programmer, der kan køre på enhver maskine. Det blev udviklet af Dr. Mark Tarver og først frigivet under GPL i 2005, men dette blev anset for uegnet til kommercielle anvendelser. Qi II stilles til rådighed under to proprietære licenser: den ene til udvikling af lukket kildekode, proprietær software og den anden er til uddannelsesmæssig og personlig brug.
Techopedia forklarer Qi
Qi blev første gang frigivet i april 2005. Qi definerer typer ved hjælp af logisk notation af sekvensberegning, og under Qis fortolkning kan denne type notation betragtes som et Turing komplet sprog. Gennem denne notation kan Qi tildele systemer, der kan udvides, til Common Lisp-biblioteker, hvilket er en ganske stærk funktion på sproget.
L21-projektet var beregnet til at modernisere Lisp, så det kan holde trit med de stadigt skiftende behov for computing i det 21. århundrede; deraf navnet. Projektet blev lanceret, fordi Lisp havde nogle udfordringer, der spærrede for en bredere vedtagelse. Dr. Tarver identificerede disse udfordringer specifikt som Common Lisps mangel på mønster-matching, procedurekontaminering, inkonsekvens med hensyn til lambda-beregning og mangel på statisk typning.
