Qilang Google Group

links for ordering FPQi

2009-12-09T09:57:03Z

Since resolving the internet problem is a bit tricky from India; I'll
put here the links for ordering FPQi in case anybody is frustrated
ordering.

Ordering from inside UK: [link]
From Europe: [link]
From outside Europe: [link]

resolving internet problem

2009-12-07T12:01:12Z

I have come down from the mountains and yogic practice having studied
Astanga yoga and there is somewhat less of me than before (about 9lb
less). I've had no opportunity before now to resolve the problem
with Lambda Associates since the ashram is cut off from the internet.

Back in Nasik, I can begin to deal with it. It appears that the

typechecking

2009-11-30T23:22:35Z

I've stalled a little in the development. The crucial thing is that I
cannot spend more then
about one hour per day and this thing needs to be though through, so
what is the thing.

To let all code that goes through (tc -) to go through with a weak
type-checking on one need to let types be of an undecidable form, but

Re: einstein riddle

2009-11-26T22:34:15Z

Yep, the define is a pure library function, you should have a basic
DEFUN
as the standard element.

The idea though is to be able to push in functionality in a standard
define construct
very much of the extension mechanism we discussed previously. So there
will be a refactoring
in the end that pushes a lot of the extensions of the def construct

Re: einstein riddle

2009-11-25T06:02:35Z

OK; the timing improvements to the Prolog are very good.

Now regarding your answers to my questions about the new features you
were introducing; these questions were as you recall, how to provide a
formal semantics and to prove type correctness for these
constructions. It seems that you are attempting to answer these

Re: Shen

2009-11-25T05:43:10Z

As I recall, there was a code repository associated with this group
set up by J.T. Gleason and you can use it with no license problems.
Look at [link] and other pages.

Mark

Re: resolving support and internet connection

2009-11-25T05:57:39Z

OK; I have one day off a week and I'm down from the mountains. I'm
working on the internet connection problem. After December 10th I'll
be coming down from the mountains and in civilisation. I'll let you
know how the internet issue works out.

Mark

Shen

2009-11-22T17:29:01Z

Hi,

It was suggested that Shen should be relocated to google code due to
license issues e.g.
QiII not seen as an open license and hence not possible to keep at
giithub, I let BoopCore
still be located at github, because I will dual license that code
because there are people who would work only in QiII and others who

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