Inhaltsverzeichnis:
Definition - Was bedeutet Qi?
Qi ist eine funktionale Programmiersprache, die sich gut für mathematische Auswertungen und die Programmierung mathematischer Gleichungen und Funktionen eignet. Qi bietet die Vorteile von Pattern Matching, Lambda Calculus Consistency, statischer Typprüfung und optionaler Lazy Evaluation.
Qi ist in Common Lisp geschrieben und generiert effiziente, sichere Programme, die auf jedem Computer ausgeführt werden können. Es wurde von Dr. Mark Tarver entwickelt und erstmals 2005 unter der GPL veröffentlicht. Für kommerzielle Anwendungen wurde es jedoch als ungeeignet eingestuft. Qi II wird unter zwei proprietären Lizenzen zur Verfügung gestellt: Eine für die Entwicklung von Closed-Source-Software und eine für den Unterricht und den persönlichen Gebrauch.
Techopedia erklärt Qi
Qi wurde zum ersten Mal im April 2005 veröffentlicht. Qi definiert Typen unter Verwendung der logischen Notation von Folgerechnungen, und nach der Interpretation von Qi kann diese Typennotation als vollständige Sprache von Turing betrachtet werden. Durch diese Notation kann Qi erweiterbare Typsysteme in Common Lisp Libraries einteilen, was ein ziemlich mächtiges Merkmal der Sprache ist.
Das L21-Projekt sollte Lisp so modernisieren, dass es mit den sich ständig ändernden Anforderungen an das Rechnen im 21. Jahrhundert Schritt halten kann. daher der Name. Das Projekt wurde ins Leben gerufen, weil Lisp einige Herausforderungen hatte, die einer breiteren Akzeptanz im Wege standen. Dr. Tarver identifizierte diese Herausforderungen spezifisch als Mangel an Pattern-Matching, prozeduraler Kontamination, Inkonsistenz in Bezug auf Lambda-Kalkül und Mangel an statischer Typisierung bei Common Lisps.
