On 07/09/2008 03:13 AM, Bill Page wrote: > On Tue, Jul 8, 2008 at 8:54 PM, Bill Page wrote: >> ... >> It seems less mysterious to me. I think almost: >> >> Category():Domain == SubDomain Domain >> > > Oops. Sorry for sending prematurely. > > Since 'Type' is the category of 'Domain', perhaps one should write: > > Type():Category == SetCategory with ... > > Domain():Type == add ... > > Then > > Category():Type with ... == SubDomain Domain > > In other words Category is a Domain with additional exports.
Type: Category and Category: Type ... if that is not confusing... ;-) Anyway someone must have written -- Nice idea, but rejected by the compiler -- Type:Category == add; into https://svn.origo.ethz.ch/algebraist/trunk/aldor/lib/aldor/src/lang/sal_lang.as Now I don't any longer believe anything and should start from scratch. :-( I hope, some day these things become clear without referring to actual implementations in Aldor or panAxiom. By the way, do you know of the implementation of a domain with name "Domain" in https://svn.origo.ethz.ch/algebraist/trunk/aldor/aldor/lib/libfoam/runtime.as Ralf ------------------------------------------------------------------------- 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
