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

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

Python at Mozy.com

At my day job, I write code for a company called Berkeley Data Systems. (They found me through this blog, actually. It's been a good place to work.) Our first product is free online backup at mozy.com . Our second beta release was yesterday; the obvious problems have been fixed, so I feel reasonably good about blogging about it. Our back end, which is the most algorithmically complex part -- as opposed to fighting-Microsoft-APIs complex, as we have to in our desktop client -- is 90% in python with one C extension for speed. We (well, they, since I wasn't at the company at that point) initially chose Python for speed of development, and it's definitely fulfilled that expectation. (It's also lived up to its reputation for readability, in that the Python code has had 3 different developers -- in serial -- with very quick ramp-ups in each case. Python's succinctness and and one-obvious-way-to-do-it philosophy played a big part in this.) If you try it out, pleas...