"Bill Page" <[EMAIL PROTECTED]> writes: | On Fri, Jul 4, 2008 at 6:28 PM, Gabriel Dos Reis wrote: | > ... | > Is your definition that `T' is a domain if you can write | > | > x:T := ... | > | > ? | > | | I would call it more of a *proposal* than a definition.
Thanks for clarifying. Most of your messages seem to take that as an obvious axiom that it was not clear to me whether it is your definition of domain or just a proposal of what a definition of domain could be. | I think 'domain' is already well defined in the Axioms and Aldor. If `domain' was already well defined in Axiom, you would not be making another proposal. Therefore, I take it is not. :-) | I can | imagine extensions of SPAD and Aldor in which variables take values | that are not objects of any domain, e.g. "category-valued variables", That concept already permeats the base AXIOM system. I'm not saying that is good or bad. Just an observation. | but I think the result would be more complicated than necessary. I The reasons that `would be more complicated than necessary' are not all obvious to me, so I would appreciate if you could articulate what make you think so. | think it is much better to allow that categories might be objects in | some (meta-)domain such as Category. In short I would like Axiom to | retain it's object-orientation and that domains should be similar to | classes. What makes you believe that having category-valued variables would make Axiom lose its object-orientation? (The question of why object orientation is a necessity for AXIOMs to ahiceve their goals is for another discussion). As you mention `class', do you think that the fact that Java has (variable) references of interface types make it less object-oriented? If yes, why? If no, why would that not be the case for AXIOMs? -- Gaby ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
