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. > 'SubDomain' is like the domain constructor 'Set' except of course > unlike 'Set Domain', on coerce to OutputForm the objects of 'Category' > have names (the category name). But the result of 'members' would be > List(Domain): > > members: % -> List Domain > > implemented by a database query. One might also expect more reflections such > as: > > exports: % -> List Record(name:Symbol, body:Tuple Domain -> Domain) > parents: % -> List % > > etc. 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
