Result of ``a is b''

Erik Max Francis max at alcyone.com
Thu Mar 18 03:24:11 CET 2004


Axel Boldt wrote:

> Lastly, using my redefinition of "is", we have the following nice
> property for all objects a and b (mutable or immutable):
> 
>  a is b  iff  in any code block not containing "id()" or "is", any
>               (or all) occurrances of a can be replaced by b, with
>               identical results
> 
> In the current implementation, the above equivalence only holds if we
> remove "not containing id() or is", and then the statement becomes a
> mere tautology without nutritious value.

I'm at a loss to understand why you want to change the behavior of the
`is' operator if you aren't clear on what it's used for in the first
place.

-- 
 __ Erik Max Francis && max at alcyone.com && http://www.alcyone.com/max/
/  \ San Jose, CA, USA && 37 20 N 121 53 W && &tSftDotIotE
\__/ Does the true light / Of love come in flashes
    -- Sandra St. Victor



More information about the Python-list mailing list