About the implementation of del in Python 3
Chris Angelico <rosuav at gmail.com>:
> On Fri, Jul 7, 2017 at 7:10 AM, Marko Rauhamaa <marko at pacujo.net> wrote:
>> Whether id() returns one such thing or not can't be discerned by a
>> Python program. What's more, for any compliant implementation of id(),
>> you can interpret the returned number as an address in some address
>> space (whether it's useful or not to interpret it that way).
> And I can interpret "Marko Rauhamaa" as a MIME-encoded IPv6 address.
> Does that mean it is one?
> This is clearly your identity, and your address.
> I've no idea what you're saying here with all that concatenation and
> stuff, but the truth is way simpler. If the two sides are the same
> object, 'is' returns true. Seriously, what's not clear?
Google finds a Dutch master's thesis from 2009 that gives formal
semantics to a subset of Python. I was interested in seeing how it
treated identity. Lo and behold:
The is operator determines whether its operands are the same object.
This is achieved by comparing the addresses of the operands.
<?, ?, S|a[l] is ?, a[r] >
? <?, ?, S , a[l] ? a[r]> (13.7)
<URL: http://gideon.smdng.nl/wp-content/uploads/thesis.pdf> [p. 61/91]