On Thursday 04 Nov 2010 18:25:13 Waldek Hebisch wrote:
> - in general, changes go much slower than hoped for
> - in particular Spad compiler needs a rewrite and this goes on
>   slowely

Waldek,

I've been thinking about this over the last week or so. I wouldn't
presume to understand the issues but I was wondering if it would be
possible to implement a two stage compiler? I was thinking that the
first stage would do the pattern matching, so it would take a line
like:

myVector * myMatrix

and convert it to an intermediate form like:

_*(myVector:Vector DF,myMatrix:Martix DF)$Martix DF

This intermediate form would be very hard for humans to read but the
idea is that it could be defined in BNF so that standard tools like
ANTLR could be used for Lex, Parse, Semantic Analysis and so on.

Sorry to take up your time with what is probably a crackpot idea, when
you are busy with the next release, its just that I like to think
about possible options.

Thanks for all the good work you are doing on this,

Martin Baker

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to