Qi, a new functional programming language designed to run under Common Lisp. Qi provides type security and extra clarity to your Lisp application programs without heavy cost to portability or performance. It is particularly suited to the development of distributed reasoning programs or intelligent agents.
Linked from Lambda the Ultimate.
Comments