Re: [Axiom-developer] "has" and "with"

[Gabriel Dos Reis]

On Thu, 16 Aug 2007, Ralf Hemmecke wrote:

| > |   Foo(Integer) = Foo(String) = with {}
| > 
| > How is the above is a logical consequence?  In no way I have tied argument
| > passing semantics to equality.
| 
| What does that have to do with "argument passing semantics"?

That was my question.

| Foo is a function and the resulting values of Foo(Integer) and Foo(String) are
| the same.

Why?


| Very much like foo(0) = foo(1) for
| foo(i: Integer): Integer == 1.

but 1 is not String, 1 is not Integer.

| So b1 ... b4 should all be true and
| 
| Foo(String) is indistinguishable from Foo(Integer).

I'm missing the logical reasons for that.

-- Gaby