Bug#433005: RFP: qi -- Lisp-based modern functional language
Package: wnpp
Severity: wishlist
* Package name : qi
Version : 8.0
Upstream Author : Mark Tarver <dr.mtarver@ukonline.co.uk>
* 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
Reply to: