Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search
 

[REBOL] Re: Puzzle with FIND and SELECT

From: g:santilli:tiscalinet:it at: 11-Feb-2003 2:02

Hi Ladislav, 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 integer 1 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). Regards, Gabriele. -- Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer Amigan -- AGI L'Aquila -- REB: http://web.tiscali.it/rebol/index.r