Message from discussion
Announce: Qi II is released
MIME-Version: 1.0
Received: by 10.151.112.12 with SMTP id p12mr540543ybm.2.1227810396678; Thu,
27 Nov 2008 10:26:36 -0800 (PST)
Date: Thu, 27 Nov 2008 10:26:36 -0800 (PST)
X-IP: 86.10.221.6
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
SV1),gzip(gfe),gzip(gfe)
Message-ID: <425b51de-7d96-4599-9063-b906e5392a37@z1g2000yqn.googlegroups.com>
Subject: Announce: Qi II is released
From: Mark Tarver <dr.mtar...@ukonline.co.uk>
To: Qilang <Qilang@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
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.
|
