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. I think 'domain' is already well defined in the Axioms and Aldor. 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", but I think the result would be more complicated than necessary. I 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. Regards, Bill Page. ------------------------------------------------------------------------- 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
