Qi open source project on Google - Functional

On Apr 3, 12:29 am, "Mark Tarver" <dr.mtar...@ukonline.co.uk> wrote:
> Qi is now an open source project onhttp://code.google.com/p/qilang/
> for people wanting to contribute to Qi's development. After some
> long discussions we've sorted out the implications
> of the GPL license that has been the main arguing point for Qi since
> its inception in 2005. (seehttp://groups.google.co.uk/group/comp.lang.lisp/browse_frm/thread/d2c...
> for the original thread) and the relevant web page for viewing Qi and
> the GPL ishttp://www.lambdassociates.org/licence.htm.

Neato.

The last sentence of the home page says:

"The type discipline of Qi is based on sequent notation which is
a much more powerful and flexible tool for defining types than that
used in ML or Haskell. To find out why click here."

Except "click here" is not a link. I clicked on the most interesting
part and nothing happened!


Marshall

> On Apr 3, 12:29 am, "Mark Tarver" <dr.mtar...@ukonline.co.uk> wrote:
>
> > Qi is now an open source project onhttp://code.google.com/p/qilang/
> > for people wanting to contribute to Qi's development. After some
> > long discussions we've sorted out the implications
> > of the GPL license that has been the main arguing point for Qi since
> > its inception in 2005. (seehttp://groups.google.co.uk/group/comp.lang.lisp/browse_frm/thread/d2c...
> > for the original thread) and the relevant web page for viewing Qi and
> > the GPL ishttp://www.lambdassociates.org/licence.htm.

On 3 Apr, 16:45, "Marshall" <marshall.spi...@gmail.com> wrote:

>
> Neato.
>
> The last sentence of the home page says:
>
> "The type discipline of Qi is based on sequent notation which is
> a much more powerful and flexible tool for defining types than that
> used in ML or Haskell. To find out why click here."
>
> Except "click here" is not a link. I clicked on the most interesting
> part and nothing happened!
>
> Marshall


I think you are looking at a different page - not the home page. The
sentence you quote is on http://www.lambdassociates.org/aboutqi.htm.
But the link does work - it goes to

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

That was the first study I wrote to illustrate the power of Qi.
But a better study might be

http://www.lambdassociates.org/studies/study02.htm

called the 10 cent Lisp type checker. There are a fair number of
studies
in http://www.lambdassociates.org/studies.htm which are resistant to
ML and Haskell - http://www.lambdassociates.org/studies/study07.htm
(which is about computer algebra) is another worth looking at.

Mark

Hi,

> I think you are looking at a different page - not the home page.

http://code.google.com/p/qilang/

Matthias

I would be very interested in Qi.
Unfortunately looks like it runs only on CLISP.
Any plans to make it run on SBCL on lispworks ?
Currently i'm using these 2 lisps.

Aha. Right - ambiguity. I thought Marshall was referring to my web
site in which the link does work. He was in fact referring to the
open source Google page.

Actually I'm not in charge of that! Entropyfails runs that and he's
probably pasted the text from my site and forgot to carry over the
link. I'll tell him and he'll fix it.

Mark

On 3 Apr, 19:55, "Matthias Benkard" <mulkiat...@gmail.com> wrote:
> Hi,
>
> > I think you are looking at a different page - not the home page.
>
> http://code.google.com/p/qilang/
>
> Matthias

On 3 Apr, 23:26, "Vagif Verdi" <Vagif.Ve...@gmail.com> wrote:
> I would be very interested in Qi.
> Unfortunately looks like it runs only on CLISP.
> Any plans to make it run on SBCL on lispworks ?
> Currently i'm using these 2 lisps.

It does run under CMUCL as well. Yes, eventually it will
run on SBCL and whatever version of CL we can find - ditto
for the Mac OS X which somebody has asked for.

Porting to another Lisp is not a priority for me right now.
I can't keep up with all the combinations of Lisp and OS out there!
For this reason principally Qi was made open source. So I think this
is a good request for the people running the open source to port Qi to
SBCL. I'll put in a request.

Mark