Qilang Google Group

resolving support and internet connection

dr.mtar...@ukonline.co.uk (Mark Tarver) — Wed, 11 Nov 2009 09:00:34 UT

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

stefan.ta...@spray.se (snorgers) — Sat, 11 Nov 2009 10:33:35 UT

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

emekami...@gmail.com (Emeka) — Fri, 11 Nov 2009 18:37:30 UT

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

stefan.ta...@spray.se (snorgers) — Fri, 11 Nov 2009 10:49:41 UT

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

n2...@yahoo.com (n2kra) — Thu, 11 Nov 2009 18:43:28 UT

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

emekami...@gmail.com (Emeka) — Thu, 11 Nov 2009 07:09:10 UT

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

stefan.ta...@spray.se (snorgers) — Wed, 11 Nov 2009 16:47:16 UT

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

emekami...@gmail.com (Emeka) — Wed, 11 Nov 2009 11:42:18 UT

Snorgers,

Have you started porting to Clojure?

Regards,
Emeka

Re: Qi on Clozure CL

stefan.ta...@spray.se (snorgers) — Tue, 11 Nov 2009 21:16:06 UT

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

rao...@gmail.com (Raoul Duke) — Tue, 11 Nov 2009 18:24:23 UT

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

emekami...@gmail.com (Emeka) — Tue, 11 Nov 2009 20:17:51 UT

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

nitral...@googlemail.com (Nik) — Tue, 11 Nov 2009 14:30:34 UT

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

stefan.ta...@spray.se (snorgers) — Thu, 11 Nov 2009 23:16:45 UT

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

stefan.ta...@spray.se (snorgers) — Wed, 11 Nov 2009 22:28:13 UT

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

stefan.ta...@spray.se (snorgers) — Sun, 11 Nov 2009 23:56:44 UT

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