[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] CAS for the masses
From: |
Waldek Hebisch |
Subject: |
Re: [Axiom-developer] CAS for the masses |
Date: |
Fri, 30 Mar 2007 13:00:54 +0200 (CEST) |
Bill Page wrote:
> You are right that I did not state this properly. Of course we can
> evaluate expressions (including functions) that return domains
> and categories. What I was trying to say is that domains in Spad
> and Aldor are immutable during run-time. Once constructed their
> "value" is constant and can not be changed. For example we
> can not insert or remove anything in the list of exports or even
> replace one exported function with another during the execution
> of the program. This is possible in Python.
>
> Note: I am not talking about the post facto library extension feature
> in Aldor. 'extend' is a compile-time operation.
>
I want comment about Alder, but in current Axiom runtime domains are
mutable. In fact I think that ability to redefine domain at runtime
was an important design goal (otherwise a sigificant part of Axiom
runtime activities would be useless).
I think that biggest problem in impementing 'extend' is to provide
sane behaviour during redefinition.
--
Waldek Hebisch
address@hidden
- [Axiom-developer] Re: Advantage of Types and different representations, (continued)
- [Axiom-developer] Re: Advantage of Types and different representations, Martin Rubey, 2007/03/28
- Re: [Axiom-developer] CAS for the masses, Gabriel Dos Reis, 2007/03/28
- Re: [Axiom-developer] CAS for the masses, Ondrej Certik, 2007/03/28
- RE: [Axiom-developer] CAS for the masses, Bill Page, 2007/03/29
- Re: [Axiom-developer] CAS for the masses, Ondrej Certik, 2007/03/29
- RE: [Axiom-developer] CAS for the masses, Bill Page, 2007/03/29
- Re: [Axiom-developer] CAS for the masses, Ralf Hemmecke, 2007/03/29
- Re: [Axiom-developer] CAS for the masses, Bill Page, 2007/03/30
- Re: [Axiom-developer] CAS for the masses, Ralf Hemmecke, 2007/03/30
- Re: [Axiom-developer] CAS for the masses, Martin Rubey, 2007/03/30
- Re: [Axiom-developer] CAS for the masses,
Waldek Hebisch <=
- Re: [Axiom-developer] CAS for the masses, Bill Page, 2007/03/30
- Re: [Axiom-developer] CAS for the masses, Waldek Hebisch, 2007/03/30
- Re: [Axiom-developer] CAS for the masses, Gabriel Dos Reis, 2007/03/30
Re: [Axiom-developer] CAS for the masses, Bill Page, 2007/03/30