Announce: Qi II is released

[Mark Tarver]

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

[hars]

On 27 Nov., 19:26, Mark Tarver <dr.mtar...@ukonline.co.uk> wrote:
> * New license.

You use of the term "open source" in your new license is misleading,
please stop it. One of the fundamental tenets of open source software
is this:

| The license must not restrict anyone from making use of the program
in a
| specific field of endeavor. For example, it may not restrict the
program
| from being used in a business, or from being used for genetic
research.

See <http://www.opensource.org/docs/osd> or identically
<http://www.debian.org/social_contract.en.html>.

And btw, thanks for making my list of technologies I ought to know but
don't have the time for shorter.

Yours, Florian.

[Mark Tarver]

Generally, I'm more tactful with people; but today I'm feeling less so
after a frenetic 48 hours.

Thus I'm totally uninterested in

a. whether or whether you do not use Qi.
b. whether my use of 'open source' conforms to the dictats of your
self-appointed group.

and thats about as far as this conversation goes.

Mark