Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > | So, my question is: how would you interpret an operation that is inherited > from > | IndexedDirectProductAbelianGroup(R,S), when the representations are > | incompatible as they are here? > > Of course when the data layout are not right, disaster. But, that is beside > the fundamental point. There are many domains that do not manipulate their > representations directly. > > The fundamental point is that this particular semantics seriously inhibits > code reuse. There is no way to extend a domain. Spad seems to promote > copy-n-paste as way to add new domains. That is contrary to established > software engineering practice.
Gaby, after some experiments, I could not find an example where "A add B", A and B sharing representation, exports an operation from A instead of from B, when the signature is present in both. I'd be interested whether this can really happen, or whether it is "only" an artifact of having different representations in A and B. In any case, I think that the compiler should complain when the Rep's don't match. Martin ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
