[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
code?
Regards,
Bill Page.