Índice:
Definição - O que significa Qi?
O Qi é uma linguagem de programação funcional adequada para avaliações matemáticas e programação de equações e funções matemáticas. O Qi oferece as vantagens da correspondência de padrões, consistência do cálculo lambda, verificação de tipo estático e avaliação opcional preguiçosa.
O Qi é escrito em Common Lisp, gerando programas seguros de tipo eficiente que podem ser executados em qualquer máquina. Foi desenvolvido pelo Dr. Mark Tarver e lançado pela GPL em 2005, mas isso foi considerado inadequado para aplicações comerciais. O Qi II é disponibilizado sob duas licenças proprietárias: uma para o desenvolvimento de software proprietário de código fechado e a outra para uso educacional e pessoal.
Techopedia explica Qi
O Qi foi lançado pela primeira vez em abril de 2005. O Qi define tipos usando notação lógica de cálculo sequencial e, sob a interpretação de Qi, essa notação de tipo pode ser considerada como uma linguagem completa de Turing. Por meio dessa notação, o Qi pode atribuir sistemas de tipos extensíveis às Common Lisp Libraries, que é um recurso bastante poderoso da linguagem.
O projeto L21 foi criado para modernizar o Lisp para que ele possa acompanhar as necessidades sempre variáveis da computação no século 21; daí o nome. O projeto foi lançado porque a Lisp tinha alguns desafios que impediam uma adoção mais ampla. O Dr. Tarver identificou esses desafios especificamente como falta de correspondência de padrões, contaminação processual, inconsistência no que diz respeito ao cálculo lambda e falta de tipagem estática.
