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. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
