Qilang Google Group

resolving support and internet connection

2009-11-18T09:00:34Z

Just to warn that Lambda Associates may be offline for a temporary
period from next week as I sort out service problems from India. *
This is not a major permanent shutdown * and may not even occur, but
I'm simply warning people that this might happen because resolving
this stuff is more difficult from India.

Re: Qi on Clozure CL

2009-11-14T10:33:35Z

Great,

This is how I try to divide the work.

There is one framework dual licensed under QiII and LPGL that is
the rewrite I've been doing and will live at github under the Shen
project.
Mainly the BoopCore directory.

Here the code transformer and the core pattern matching tool will be
placed.

Re: Qi on Clozure CL

2009-11-13T18:37:30Z

I like this.

2. Dig out how to best do certain things like simple tail call
May try here.

I would try here.

I am not a language designer but this sounds interesting

This would be exciting.

I would enjoy this.

Thanks for the offer.

Regards,
Emeka

Re: Qi on Clozure CL

2009-11-13T10:49:41Z

Can you suggest what area you would like to help with.

Such as (my examples here, please fill in your own if you like so),

1. Answer specific clojure questions
2. Dig out how to best do certain things like simple tail call
optimizations, fast stack implementation for qi-prolog etc.
3. Find out about things that can be hard to implement in clojure in

Re: Qi on Clozure CL

2009-11-12T18:43:28Z

Qi is/was #+CL implementation conditionalized in like 4 places.
I think the trickiest part is below. (now) CCL is ? mostly compiled ?
This did not work in Qi 8.0 -

(DEFUN fix-closures ()
#+CMU (SETQ *closures* '(FUNCTION COMPILED-FUNCTION
EVAL::INTERPRETED-FUNCTION))
#+CLISP (SETQ *closures* '(FUNCTION COMPILED-FUNCTION))

Re: Qi on Clozure CL

2009-11-12T07:09:10Z

Would by any means allow me to participate in it. I won't add much weigh but
I would do my best.

Regards,
Emeka

Re: Qi on Clozure CL

2009-11-11T16:47:16Z

The infrastructure is almost there, I just need a couple of day's mare
and then I will
start to write the translational code

/Stefan

Re: Qi on Clozure CL

2009-11-11T11:42:18Z

Snorgers,

Have you started porting to Clojure?

Regards,
Emeka

Re: Qi on Clozure CL

2009-11-10T21:16:06Z

Hi Nik,

If you would like to try porting it, that's great. You can ask
questions
on the forum and I will try answer your question as good as I can.
I usually check it at least once a day.

Regards
Stefan

Re: Qi on Clozure CL

2009-11-10T18:24:23Z

since in theory CCL is a Common Lisp then it should be a small job to
do. but i don't really know, i'm just theorizing.

Re: Qi on Clozure CL

2009-11-10T20:17:51Z

Nik,
It is time you turn the "you" to "I". It would be exciting following your
work, hope you will start soon.

Regards,
Janus

Re: Qi on Clozure CL

2009-11-10T14:30:34Z

Dear Nik,

Seemingly nobody!
By the way I know you very well!
You are a smart guy and you should be able to do it yourself:-)

Regards
Nik

test-reader.qi

2009-11-05T23:16:45Z

I've now been running same tests and made a couple of examples where
the focus have been in the Yacc part and the segment part of the code
as well as a General Streaming method.

as an example I did a parser for a toy lang. and then created a
modified list stream that
added the capabilities to let the line column and depth be kept in

Re: einstein riddle

2009-11-04T22:28:13Z

This is actually an interesting question (maybe I'm missing the point
but oh well)

consider
def f (u [(m X) Y]) Cont -> ...

now if the input to the function is unbound it will be bound to [X Y]
but this is not enough.
you should bind it to (u [(m X) Y]) and then in the unifications done

Re: einstein riddle

2009-11-01T23:56:44Z

Here is generated lisp for "member"

(DEFUN member (V1466 V1467 V1468)
(LABELS ((g285 ()
(LET ((X1430 (lookup V1467)))
(IF (CONSP X1430)
(LABELS ((g287 ()
(IF
(EQ (PROGN (newframe) (unify V1466 (CAR