snorgers | 14 Nov 11:33 2009
Picon

Re: Qi on Clozure CL


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.
My intention is to have maybe a non-qi like but general protocol to
cover
1. unification and backtracking   -   e.g. the base for qi-prolog
2. extensions to state-machines that takes parameters
3. Qi-Yacc like features
4. (Maybe) regexp matchers using already made regexp libriries (for
those that want need speed)
5. segmentation, both in unification  (maybe) and as basic matching
6. type-checking suportative matching
7. support for multiple streams, e.g. you shoule be able to quckly
modify the code to take an array stream in stead
    of a list stream and do it reasonable effective
8. support for more general destructions then [first rest] logic,
think structures for examples

Code transformation will be done by type sensitive code generation so
that when we can deduce type information.
this will be divided in a strict and "sloppy" mode, where strict is
(tc -) and sloppy is trying to use as much type information
as possible but might give up for sum constructs and issue a warning.

So this is the framework, now there will be another package, called
Shen or Qi, that will use this tool, add a reader and a writer
plus the actual Qi-Yacc, Qi-Prolog, define Sequents and so on and this
will be shen.

The current state is that there is a usable version at github. I have
not implemented all features above, but I wan't to make a first
version that does transformations to lisp/clojure/.. as well as
compiling to basic qi as it does right now before going further
so that you guy's can help testing and developing it.

Let me suggest that we try communicate via email when we are just a
few persons doing work, and if more people are interested
we try to make an email list.

/Regards
Stefan

On 13 Nov, 19:37, Emeka <emekami...@...> wrote:
> > 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
>
> I like this.
>
>
>
> 2. Dig out how to best do certain things like simple tail call> optimizations, fast stack implementation
for qi-prolog etc.
>
> May try here.
>
> > 3. Find out about things that can be hard to implement in clojure in
> > the code made already.
>
> I would try here.
>
> > 4. Have a view of the design of the overall tool
>
> I am not a language designer but this sounds interesting
>
> > 5. Suggestions for features cool ideas etc.
> > 6. Testing the tool
>
> This would be exciting.
>
> > 7. Making fun and learning examples
>
> I would enjoy this.
>
> Thanks for the offer.
>
> Regards,
> Emeka
>
>
>
> > /Stefan
>
> > On 12 Nov, 08:09, Emeka <emekami...@...> wrote:
> > > Would by any means allow me to participate in it. I won't add much weigh
> > but
> > > I would do my best.
>
> > > Regards,
> > > Emeka
>
> > > On Wed, Nov 11, 2009 at 4:47 PM, snorgers <stefan.ta...@...> wrote:
>
> > > > 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
>
> > > > On 11 Nov, 12:42, Emeka <emekami...@...> wrote:
> > > > > Snorgers,
>
> > > > > Have you started porting to Clojure?
>
> > > > > Regards,
> > > > > Emeka
>
> > > > > On Tue, Nov 10, 2009 at 9:16 PM, snorgers <stefan.ta...@...>
> > wrote:
>
> > > > > > 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
>
> > > > > > On 10 Nov, 15:30, Nik <nitral...@...> wrote:
> > > > > > > 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
>
> > > > > > > On Oct 9, 11:08 am, Nik <nitral...@...> wrote:
>
> > > > > > > > Hi folks,
>
> > > > > > > > Does somebody work on porting Qi to Clozure CL?
>
> > > > > > > > Regards
> > > > > > > > Nik


Gmane