Package: wnpp Severity: wishlist * Package name : qi Version : 8.0 Upstream Author : Mark Tarver <[EMAIL PROTECTED]> * URL : http://www.lambdassociates.org/ * License : GPL Programming Lang: Qi (and ANSI Common Lisp) Description : Lisp-based modern functional language
Qi is a Lisp-based functional programming language that offers all of Common Lisp with the advantages of pattern matching, lambda calculus consistency, and optional static type checking. It uses sequent calculus notation to define types, having a very powerful type system. Qi was written on top of ANSI Common Lisp, so it can be used the same way as Lisp -- in fact, it is possible to use Emacs to interactively develop Qi programs (which are translated into Lisp code). It is also possible to call Lisp functions from Qi programs. Qi works on top of SBCL, CMUCL and Clisp. The current implementation as an embedded parser generator and a Prolog engine. Some notes: - Please consider including qi-mode.el also in the package - It would be nice to ask Dr. Tarver if the book ("Functional programming in Qi") can also be distributed. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (100, 'unstable'), (9, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22.1 (PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]