Why Trust Techopedia

What Does Qi Mean?

Qi is a functional programming language that is well suited for mathematical evaluations and the programming of mathematical equations and functions. Qi offers the advantages of pattern matching, lambda calculus consistency, static type checking and optional lazy evaluation.


Qi is written in Common Lisp generating efficient type secure programs that may run on any machine. It was developed by Dr. Mark Tarver and first released under GPL in 2005 but this was deemed unsuitable for commercial applications. Qi II is made available under two proprietary licenses: one for developing closed source, proprietary software and the other is for educational and personal use.

Techopedia Explains Qi

Qi was first released in April, 2005. Qi defines types using logical notation of sequent calculus and under Qi’s interpretation, this type notation can be considered as a Turing complete language. Through this notation, Qi can assign extensible type systems into Common Lisp Libraries, which is quite a powerful feature of the language.

The L21 project was meant to modernize Lisp so that it can keep up with the ever changing needs of computing in the 21st century; hence the name. The project was launched because Lisp had some challenges which barred its way for wider adoption. Dr. Tarver identified these challenges specifically as Common Lisps lack of pattern-matching, procedural contamination, inconsistency with respect to lambda calculus and lack of static typing.


Related Terms

Margaret Rouse

Margaret jest nagradzaną technical writerką, nauczycielką i wykładowczynią. Jest znana z tego, że potrafi w prostych słowach pzybliżyć złożone pojęcia techniczne słuchaczom ze świata biznesu. Od dwudziestu lat jej definicje pojęć z dziedziny IT są publikowane przez Que w encyklopedii terminów technologicznych, a także cytowane w artykułach ukazujących się w New York Times, w magazynie Time, USA Today, ZDNet, a także w magazynach PC i Discovery. Margaret dołączyła do zespołu Techopedii w roku 2011. Margaret lubi pomagać znaleźć wspólny język specjalistom ze świata biznesu i IT. W swojej pracy, jak sama mówi, buduje mosty między tymi dwiema domenami, w ten…