"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > In fact, MyReduce asked for '+' in Integer, and got a stub and passed
| > that around for Mapping to compare.
| >
|
| That is correct. My claim is that Mapping does not perform this
| comparison in a reasonable manner. This stub should be fully resolved
| before attempting a comparison.
What is `reasonable manner'?
You consistently avoided giving any precise, mathematical, scientific,
definition of what the comparison should be and how it can test
evaluated to be `reasonable manner'. Failing that, all we are left
with is hacks over hacks, and it is no clear why one hack should be
taken over another.
This issue can be resolved easily:
(1) give a clear definition of what equality on Mapping should be
-- semantics.
(2) give evaluation criteria -- for scientific comparison.
(3) give explanation of why (a) your proposal meets (1)
-- Gaby
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
