axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Axiom meeting at ISSAC


From: Stephen Wilson
Subject: Re: [Axiom-developer] Axiom meeting at ISSAC
Date: 01 Aug 2007 16:05:11 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Stephen Wilson <address@hidden> writes:

> Gabriel Dos Reis <address@hidden> writes:
> 
> > Stephen Wilson <address@hidden> writes:
> > 
> > [...]
> > 
> > | There is also the question of being able to provide the compiler
> > | components in the form of a library which can be used by other aspects
> > | Axiom.  For example, one would be able to use the new parser and
> > | (forthcoming) type checker to support an IDE.
> > 
> > People may note that, in Axiom as of today, one can already get the
> > syntax tree from both the old and the new parsers, and in fact use the
> > parser as a library -- as has been done the algorithmic
> > differentiation project.  You don't need to wait for a
> > functional new compiler to do that.
> 
> Can it incrementally parse input as the user is typing, thus making it
> a usable component in an IDE?  Is the AST itself specified?  Does it
> the representation past the lexical analysis phase contain line and
> column number information?  Is the current implementation easily
> modifiable and extensible?


Moreover, you do not need to wait for a functional new compiler. The
parser, as I said, is around 90% complete.

Steve





reply via email to

[Prev in Thread] Current Thread [Next in Thread]