## [REBOL] Re: Puzzle with FIND and SELECT

### From: lmecir:mbox:vol:cz at: 11-Feb-2003 7:34

Hi Gabriele,
----- Original Message -----
From: "Gabriele Santilli"

> If REBOL is implemented as I think it is, then you are right.

...

> That's because the implementation does not allow to have two
> "integer 1"s.

...

> 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.

1 and 1.0 clearly cannot be identical, because they have different types,
i.e. it is easy for us to discern them.
The trouble with your definition of sameness is, that it looks
implementation dependent
. I used "" in the previous sentence to underline
the fact, that you don't know the implementation (exactly as myself), yet
you are making assumptions about it. That means, that your assumptions are
incorrect for some possible implementations.
On the contrary, I think, that a proper definition shouldn't make any
assumptions about the implementation, i.e. it should be correct for any
compatible implementation.
Ciao
-L