Table des matières:
Définition - Que signifie Qi?
Qi est un langage de programmation fonctionnel bien adapté aux évaluations mathématiques et à la programmation d'équations et de fonctions mathématiques. Qi offre les avantages de la correspondance de motifs, de la cohérence du calcul lambda, de la vérification de type statique et de l'évaluation paresseuse facultative.
Qi est écrit en Common Lisp générant des programmes sécurisés de type efficace qui peuvent s'exécuter sur n'importe quelle machine. Il a été développé par le Dr Mark Tarver et publié pour la première fois sous GPL en 2005, mais cela a été jugé inapproprié pour les applications commerciales. Qi II est disponible sous deux licences propriétaires: l'une pour le développement de logiciels fermés, les logiciels propriétaires et l'autre pour un usage éducatif et personnel.
Techopedia explique Qi
Qi a été publié pour la première fois en avril 2005. Qi définit les types en utilisant la notation logique du calcul séquentiel et, selon l'interprétation de Qi, cette notation de type peut être considérée comme un langage complet de Turing. Grâce à cette notation, Qi peut affecter des systèmes de types extensibles dans les bibliothèques Common Lisp, ce qui est une caractéristique assez puissante du langage.
Le projet L21 visait à moderniser Lisp afin qu'il puisse répondre aux besoins en constante évolution de l'informatique au 21 e siècle; d'où le nom. Le projet a été lancé parce que Lisp avait des défis qui lui ont empêché une adoption plus large. Le Dr Tarver a identifié ces défis spécifiquement comme le manque de correspondance de motifs, la contamination procédurale, l'incohérence par rapport au calcul lambda et le manque de typage statique.
