status of gamalg



Greetings!

Richard Fateman <fateman@cs.berkeley.edu> writes:

> Mathematica doesn't compile its code to Lisp.
> There is a mode of output called FullForm
> which reveals the structure of Mathematica code
> in a format that looks almost like lisp, but the
> semantics attached to the names are not lisp semantics.
> 
> e.g. FullForm[a+b]  is  Plus[a,b].
> In lisp that would be (plus a b).
> 
> In Maxima that would be  ((mplus) $a $b)  or something similar.
> 
> However the model of evaluation in Mathematica is
> rule-based and pattern driven, not like lisp or maxima.
> 
> Sometimes these are indistinguishable in practice, but not
> always.
> 

In your opinion, would a FullForn dump get us over half-way through
the translation effort?

Take care,

> RJF
> 
> 
> Camm Maguire wrote:
> <snip>
> 
> >  I don't
> >suppose that mathematica happens to compile its code to lisp at an
> >intermediary stage which can then be inspected by the user?
> >
> >
> >
> >>
> >>
> >>
> >>
> >>
> >
> >
> 
> 
> 
> 

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