"Bill Page" <[EMAIL PROTECTED]> writes:
| 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.
I'm unclear about
(1) Why Type should extend SetCategory;
(2) what is the idea being captured by SubDomain Domain, and what
that constructor is.
In fact, as I said earlier, I like to see specifications, then
implementations. Presenting me with with implementation without prior
explanation of what the implementation is supposed to achieve is
unlikely to persuade me -- no matter how right the implementation is.
-- 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
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
