Skip to main content

how well do you know python, part 6

class foo(list):
    def __eq__(self, other):
        raise 'foo.__eq__ called'

>>> help(list.__eq__)
Help on wrapper_descriptor:

__eq__(...)
    x.__eq__(y) <==> x==y

>>> [].__eq__(foo())
True
>>> [] == foo()
Traceback (most recent call last):
  File "", line 1, in ?
  File "", line 3, in __eq__
foo.__eq__ called

Help says those two statements should be equivalent. Why aren't they?

Comments

Jonathan Ellis said…
try

foo() == []
the paul said…
I think I know the answer, but I don't know if I should give it away so soon and ruin it for everyone else :) Someone on an earlier question gave a rot13 answer, so I'll do that too. Am I right?

Jura gur glcr bs gur bowrpg ba gur evtug-unaq fvqr bs n pbzcnevfba vf n fhoglcr bs gur glcr bs gur bowrpg ba gur yrsg-unaq fvqr, vgf evpu-pbzcnevfba shapgvbaf ner hfrq vafgrnq bs gubfr sebz gur yrsg-unaq fvqr, jura ninvynoyr, naq ersyrpgrq (< orpbzrf >, rgp, ohg == fgnlf gur fnzr). Nf sne nf V xabj, vg'f whfg n fcrpvny pnfr, ohg vg qbrf fbeg bs znxr
frafr jura lbh guvax nobhg ubj lbh'q hfhnyyl hfr fhoglcrf va guvf jnl.

Gur bgure bcrengvba, jurer lbh'ir gnxra gur __rd__ nggevohgr bs [] qverpgyl anghenyyl unf n qvssrerag erfhyg, fvapr gur zrgubq pubfra vf abg hc gb gur evpu-pbzcnevfba znpuvarel.
Anonymous said…
Although they are meant to be commutative (is that the right one?) they have to be defined so they are. The __eq__ of the left hand object gets called:

class hat( object ):
    def __eq__(self , other ):
     print "I am hat"
     print "other is a %s" % ( other.__class__.__name__ )
     return True

class tree( object ):
    def __eq__(self , other ):
     print "I am tree"
     print "other is a %s" % ( other.__class__.__name__ )
     return False

a = hat()
b = tree()

a == b
b == a
Anonymous said…
forgot to show the outcome of that code :-)

it prints:

I am hat
other is a tree
I am tree
other is a hat
Anonymous said…
I am not paying enough attention - that is the answer to something else... oops!
Anonymous said…
The real answer:

class hat( object ):
    def __eq__(self , other ):
     return NotImplemented

class tree( object ):
    def __eq__(self , other ):
     print "I am tree"
     print "other is a %s" % ( other.__class__.__name__ )
     return True

a = hat()
b = tree()

a == b
b == a

returns:
I am tree
other is a hat
I am tree
other is a hat

The NotImplemented forces it to try the other available __eq__()
the paul said…
mark: yeah, but list.__eq__() doesn't return NotImplemented! :)
Jonathan Ellis said…
Paul: you are correct. (Source for those curious about this and related esoterica: uggc://qbpf.clguba.bet/ers/pbrepvba-ehyrf.ugzy)
Anonymous said…
Also at http://docs.python.org/ref/coercion-rules.html

...
Sorry. Had to.

Popular posts from this blog

The Missing Piece in AI Coding: Automated Context Discovery

I recently switched tasks from writing the ColBERT Live! library and related benchmarking tools to authoring BM25 search for Cassandra . I was able to implement the former almost entirely with "coding in English" via Aider . That is: I gave the LLM tasks, in English, and it generated diffs for me that Aider applied to my source files. This made me easily 5x more productive vs writing code by hand, even with AI autocomplete like Copilot. It felt amazing! (Take a minute to check out this short thread on a real-life session with Aider , if you've never tried it.) Coming back to Cassandra, by contrast, felt like swimming through molasses. Doing everything by hand is tedious when you know that an LLM could do it faster if you could just structure the problem correctly for it. It felt like writing assembly without a compiler -- a useful skill in narrow situations, but mostly not a good use of human intelligence today. The key difference in these two sce...

Why PHP sucks

(July 8 2005) Apparently I got linked by some PHP sites, and while there were a few well-reasoned comments here I mostly just got people who only knew PHP reacting like I told them their firstborn was ugly. These people tended to give variants on one or more themes: All environments have warts, so PHP is no worse than anything else in this respect I can work around PHP's problems, ergo they are not really problems You aren't experienced enough in PHP to judge it yet As to the first, it is true that PHP is not alone in having warts. However, the lack of qualitative difference does not mean that the quantitative difference is insignificant. Similarly, problems can be worked around, but languages/environments designed by people with more foresight and, to put it bluntly, clue, simply don't make the kind of really boneheaded architecture mistakes that you can't help but run into on a daily baisis in PHP. Finally, as I noted in my original introduction, with PHP, ...

A week of Windows Subsystem for Linux

I first experimented with WSL2 as a daily development environment two years ago. Things were still pretty rough around the edges, especially with JetBrains' IDEs, and I ended up buying a dedicated Linux workstation so I wouldn't have to deal with the pain.  Unfortunately, the Linux box developed a heat management problem, and simultaneously I found myself needing a beefier GPU than it had for working on multi-vector encoding , so I decided to give WSL2 another try. Here's some of the highlights and lowlights. TLDR, it's working well enough that I'm probably going to continue using it as my primary development machine going forward. The Good NVIDIA CUDA drivers just work. I was blown away that I ran conda install cuda -c nvidia and it worked the first try. No farting around with Linux kernel header versions or arcane errors from nvidia-smi. It just worked, including with PyTorch. JetBrains products work a lot better now in remote development mod...