Qilang Google Group

links for ordering FPQi

dr.mtar...@ukonline.co.uk (Mark Tarver) — Wed, 12 Dec 2009 09:57:03 UT

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

dr.mtar...@ukonline.co.uk (Mark Tarver) — Mon, 12 Dec 2009 12:01:12 UT

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

stefan.ta...@spray.se (snorgers) — Mon, 11 Nov 2009 23:22:35 UT

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

stefan.ta...@spray.se (snorgers) — Thu, 11 Nov 2009 22:34:15 UT

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

dr.mtar...@ukonline.co.uk (Mark Tarver) — Wed, 11 Nov 2009 06:02:35 UT

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

dr.mtar...@ukonline.co.uk (Mark Tarver) — Wed, 11 Nov 2009 05:43:10 UT

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

dr.mtar...@ukonline.co.uk (Mark Tarver) — Wed, 11 Nov 2009 05:57:39 UT

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

stefan.ta...@spray.se (snorgers) — Sun, 11 Nov 2009 17:29:01 UT

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

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