Announce: Qi II is released - Qilang

Message from discussion Announce: Qi II is released

Mark Tarver

More options 27 Nov 2008, 18:26

From: Mark Tarver <dr.mtar...@ukonline.co.uk>

Date: Thu, 27 Nov 2008 10:26:36 -0800 (PST)

Local: Thurs 27 Nov 2008 18:26

Subject: Announce: Qi II is released

  Reply to author
  |
  Forward | Print | View thread
  | Show original
  | Report this message | Find messages by this author
  

I am pleased to announce the release of Qi II on www.lambdassociates.org.
This new release incorporates

* A complete reimplementation of Qi from the ground up.
* New license.
* Type secure lazy evaluation on demand.
* Improved programmable syntax.
* 4 speed compiler which utilises type information.
* Improved integration with CL.
* Runs under LispWorks.
* Common functions made polyadic.
* Improved connection to Prolog.
* Rule closures for embedding sequent reasoning into Qi functions.
* Improved handling on dependent types.
* A type secure class system in a library along with FPQi (second
edition).
* Completely documented in 'Functional Programming in Qi (second
edition)'.

To explore these features in more depth

http://www.lambdassociates.org/whatsnew.htm.

Documentation online at http://www.lambdassociates.org/doc.htm
incorporating a manual.

To download, www.lambdassociates.org as usual.

I'm still updating some material on the site including Wikipedia.

Mark

Reply to author Forward