[REBOL] Re: Sameness - an abstract approach.
From: g:santilli:tiscalinet:it at: 14-Feb-2003 1:17
Hi Ladislav,
On Thursday, February 13, 2003, 10:29:59 PM, you wrote:
LM> the function F one after another and the function F should get them as
LM> different and find out which was which. That isn't the case as we both
LM> agree, q.e.d.
This is fine as long as the two "1"s are takes separately. I.e. it
is like in my previous email when I gave you two
indistinguishable
pieces of paper not at the same time. They
look the same piece of paper to you, because you have no mean to
make a distinction (supposing you are not allowed to change them).
But if I give them to you at the same time, even if you cannot
discern a piece from the other you can say that you have two
different pieces of paper (and the distinction is, for example,
the hand that holds them --- one is on the left, the other in on
the right).
This can be applied to the "1"s above; if you have two of them at
the same time, it is possible that they are like the two pieces of
paper: interchangeable but not the same. (If I was going to
implement a REBOL interpreter, I would do it so that any two "1"s
would actually be different data structures in different memory
locations --- even if they are equal in content and so totally
interchangeable; this does not mean that REBOL has to be this way,
but it means that this is a possible way.)
Regards,
Gabriele.
--
Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer
Amigan -- AGI L'Aquila -- REB: http://web.tiscali.it/rebol/index.r