资 源 简 介
What is Qi?
A language implemented in Common Lisp that generates efficient type secure Lisp programs which you can run on any machine.
What advantages does writing in Qi have over writing in Lisp?
Quite a few.
Qi uses pattern-matching instead of forcing you to write in CARs and CDRs. Typically Qi programs have 40% of the non-whitespace characters that Lisp programs have.
Qi has optional static type checking. You don"t have to pray your program will not crash with a type error in a real application.
Qi is lambda-calculus consistent. It makes Common Lisp understand things like partial applications.
If I choose Qi, do I have to give up Lisp?
Absolutely not. In fact you can mix Qi and Lisp functions into one file and load them together. You can use Lisp functions within Qi code with no problems. You can even add to the type discipline of Qi to tell it about the types of
文 件 列 表
Qi9.2
benchmark.zip
benchmark
Documentation
GPL.htm
GPL.txt
install.txt
lbest.jpg
Qi 9.2 in Qi.txt
Qi 9.2.txt
Qi Programs
Qi-Linux-CLisp
Qi-Linux-CMU
Qi-Linux-SBCL.bat
Qi-Windows-Allegro.bat
Qi-Windows-CLisp.bat
Qi-Windows-SBCL.bat
readme.htm
rsbcl.bat
run_fasl_allegro.txt
sbcl
sbcl.exe
startup.txt
test harness.txt
test suite 1.qi
test suite 2.qi
whatsnew.htm
