RE: [Axiom-developer] CAS for the masses

[Bill Page]

On April 1, 2007 3:42 PM Martin Rubey wrote:
> ... 
> although Domains may be mutable in some sense in SPAD and 
> Aldor (since we can access and modify their "state") I think
> that "the way things are meant to be done in Axiom/SPAD/Aldor"
> is to create new domains, instead of modifying old ones.

I agree.

> Since we have "dependent types", this can be done in an 
> extremely flexible manner, as the example "Interpret" shows,
> which takes a string and yields a domain.
> 

Yes, dependent types are very important. Full support for
dependent types in the Axiom interpreter would be wonderful.

Martin, could you please find a few minutes to create a page
on the Axiom Wiki containing an example of your Interpret
code?

Regards,
Bill Page.