| Author |
Qi open source project on Google
|
|
|
|
| Marshall 2007-04-03, 7:08 pm |
| 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
| |
| Mark Tarver 2007-04-03, 7:08 pm |
| > On Apr 3, 12:29 am, "Mark Tarver" <dr.mtar...@ukonline.co.uk> wrote:
>
On 3 Apr, 16:45, "Marshall" <marshall.spi...@gmail.com> wrote:
[color=darkred]
>
> 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
| |
|
|
| Vagif Verdi 2007-04-03, 7:08 pm |
| 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.
| |
| Mark Tarver 2007-04-04, 8:05 am |
| 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,
>
>
> http://code.google.com/p/qilang/
>
> Matthias
| |
| Mark Tarver 2007-04-04, 8:05 am |
| 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
| |
|
|
|
|