[Top][All Lists]

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

RE: [Axiom-developer] CAS for the masses

From: Bill Page
Subject: RE: [Axiom-developer] CAS for the masses
Date: Sun, 1 Apr 2007 22:47:40 -0400

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

Bill Page.

reply via email to

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