Sommario:
Definizione - Cosa significa Qi?
Il Qi è un linguaggio di programmazione funzionale che ben si adatta alle valutazioni matematiche e alla programmazione di equazioni e funzioni matematiche. Qi offre i vantaggi della corrispondenza dei modelli, della coerenza del calcolo lambda, del controllo del tipo statico e della valutazione lazy opzionale.
Qi è scritto in Common Lisp generando programmi sicuri di tipo efficiente che possono essere eseguiti su qualsiasi macchina. È stato sviluppato dal Dr. Mark Tarver e rilasciato per la prima volta sotto GPL nel 2005, ma questo non è stato ritenuto idoneo per applicazioni commerciali. Qi II è reso disponibile con due licenze proprietarie: una per lo sviluppo di software proprietario e open source e l'altra per uso personale e didattico.
Techopedia spiega Qi
Qi è stato rilasciato per la prima volta nell'aprile del 2005. Qi definisce i tipi usando la notazione logica del calcolo sequenziale e, secondo l'interpretazione di Qi, questa notazione di tipo può essere considerata come un linguaggio completo di Turing. Attraverso questa notazione, Qi può assegnare sistemi di tipi estensibili nelle librerie Common Lisp, che è una caratteristica piuttosto potente del linguaggio.
Il progetto L21 aveva lo scopo di modernizzare Lisp in modo da poter tenere il passo con le mutevoli esigenze dell'informatica nel 21 ° secolo; da qui il nome. Il progetto è stato avviato perché Lisp ha avuto alcune sfide che gli hanno impedito un'adozione più ampia. Il Dr. Tarver ha identificato queste sfide specificatamente come mancanza di Lisps comuni di adattamento dei pattern, contaminazione procedurale, incoerenza rispetto al calcolo lambda e mancanza di tipizzazione statica.
