Tabla de contenido:
Definición - ¿Qué significa Qi?
Qi es un lenguaje de programación funcional que es adecuado para evaluaciones matemáticas y la programación de ecuaciones y funciones matemáticas. Qi ofrece las ventajas de la coincidencia de patrones, la consistencia del cálculo lambda, la comprobación de tipos estáticos y la evaluación diferida opcional.
Qi está escrito en Common Lisp generando programas seguros de tipo eficiente que pueden ejecutarse en cualquier máquina. Fue desarrollado por el Dr. Mark Tarver y lanzado por primera vez bajo GPL en 2005, pero esto se consideró inadecuado para aplicaciones comerciales. Qi II está disponible bajo dos licencias propietarias: una para desarrollar software de código cerrado, propiedad exclusiva y la otra para uso educativo y personal.
Techopedia explica Qi
Qi se lanzó por primera vez en abril de 2005. Qi define los tipos utilizando la notación lógica de cálculo secuencial y, bajo la interpretación de Qi, esta notación de tipo puede considerarse como un lenguaje completo de Turing. A través de esta notación, Qi puede asignar sistemas de tipos extensibles a las Bibliotecas Common Lisp, que es una característica bastante poderosa del lenguaje.
El proyecto L21 estaba destinado a modernizar Lisp para que pueda mantenerse al día con las necesidades cambiantes de la informática en el siglo XXI; de ahí el nombre. El proyecto se lanzó porque Lisp tenía algunos desafíos que impedían una adopción más amplia. El Dr. Tarver identificó estos desafíos específicamente como la falta de coincidencia de patrones, la contaminación del procedimiento, la inconsistencia con respecto al cálculo lambda y la falta de tipificación estática.
