Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει Qi;
Το Qi είναι μια λειτουργική γλώσσα προγραμματισμού που είναι κατάλληλη για μαθηματικές αξιολογήσεις και τον προγραμματισμό μαθηματικών εξισώσεων και λειτουργιών. Το Qi προσφέρει τα πλεονεκτήματα της αντιστοίχισης προτύπων, της συνέπειας του λογισμού λ, του στατικού ελέγχου τύπου και της προαιρετικής τεμπέλης αξιολόγησης.
Το Qi είναι γραμμένο σε Common Lisp που παράγει αποτελεσματικά ασφαλή προγράμματα τύπου που μπορούν να τρέξουν σε οποιαδήποτε μηχανή. Αναπτύχθηκε από τον Dr. Mark Tarver και κυκλοφόρησε για πρώτη φορά στο GPL το 2005, αλλά αυτό κρίθηκε ακατάλληλο για εμπορικές εφαρμογές. Το Qi II διατίθεται με δύο άδειες εκμετάλλευσης: μία για την ανάπτυξη κλειστού κώδικα, ένα αποκλειστικό λογισμικό και το άλλο για εκπαιδευτική και προσωπική χρήση.
Η Techopedia εξηγεί το Qi
Το Qi κυκλοφόρησε για πρώτη φορά τον Απρίλιο του 2005. Το Qi ορίζει τους τύπους χρησιμοποιώντας τη λογική ένδειξη του διαδοχικού λογισμού και σύμφωνα με την ερμηνεία του Qi, ο τύπος αυτός συμβολισμός μπορεί να θεωρηθεί ως πλήρης γλώσσα Turing. Μέσω αυτής της συμβολής, το Qi μπορεί να εκχωρήσει συστήματα επεκτάσιμων τύπων σε κοινές βιβλιοθήκες Lisp, το οποίο είναι ένα αρκετά ισχυρό χαρακτηριστικό γνώρισμα της γλώσσας.
Το έργο L21 προοριζόταν για τον εκσυγχρονισμό της Lisp έτσι ώστε να μπορεί να συμβαδίσει με τις συνεχώς μεταβαλλόμενες ανάγκες της πληροφορικής στον 21ο αιώνα. εξ ου και το όνομα. Το έργο ξεκίνησε επειδή η Lisp είχε κάποιες προκλήσεις που εμπόδισαν το δρόμο της για ευρύτερη υιοθέτηση. Ο Δρ Tarver ταυτοποίησε αυτές τις προκλήσεις συγκεκριμένα ως έλλειψη συσχετισμού με πρότυπα, διαδικαστικής μόλυνσης, ασυνέπειας σε σχέση με τον λογαριθμό λάμδα και έλλειψης στατικής πληκτρολόγησης.
