[REBOL] Re: Puzzle with FIND and SELECT
From: g:santilli:tiscalinet:it at: 11-Feb-2003 2:02
On Monday, February 10, 2003, 10:42:56 PM, you wrote:
LM> Nevertheless, you aren't able to supply any value B such that your GSAME?
LM> would return TRUE, am I right?
If REBOL is implemented as I think it is, then you are right.
LM> That means, that the GSAME? isn't reflexive for the integer 1 as I see it.
That's because the implementation does not allow to have two
s. But from the point of view of the definition of
GSAME?, it is reflexive. A relation "r" defined in the set S is
reflexive is for each a in S you have a r a; this does not mean
that you have to have a r a' too for some a', even if that a' on
the surface looks like being the same as a.
The usefulness of a function like GSAME? would be that of giving
us more information of what EQUAL? gives. Currently it does so
only partially, because it only works for mutable types; or, maybe
our interpretation of REBOL's current implementation is wrong and
all "1"s are actually the same (but I doubt it, in particular I
doubt that 1 is the same as 1.0 as the current SAME? reports).
Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer
Amigan -- AGI L'Aquila -- REB: http://web.tiscali.it/rebol/index.r