Re: [Axiom-developer] Aldor and Lisp

[Camm Maguire]

Greetings!

"Bill Page" <address@hidden> writes:

> Camm, what do you mean by "GCL lisp interface to flex and
> bison"? These are external programs that produce "C" code.
> Do you just mean creating the bindings that would allow the
> generated parser code to be called from lisp?

Well, I meant defining some lisp representation if the flex and bison
input, which upon compilation wrote flex and bison C routines which
are loaded in the normal way.  In GCL, one really does have access to
anything one has in C.

If we were ever to pursue this, I really would advocate not using an
experimental lexer and parser.  No need to reinvent critical tools
when well tested ones are available with a little glue.

Take care,

> 
> On another related subject, I think this thread in gcl-devel
> is very relevant to our discussion of the future of SPAD and
> Aldor:
> 
> http://lists.gnu.org/archive/html/gcl-devel/2005-10/msg00045.html
> 
> within which Robert Boyer discussing ML, strong typing and
> proof theory.
> 
> Regards,
> Bill Page.
> 
> 
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah