[Python-Dev] list.discard? (Re: dict.discard)

[skip at pobox.com]

    Greg> Or maybe remove() should just do nothing if the item is not
    Greg> found. 

If that's the case, I'd argue that dict.remove and set.remove should behave
the same way, making .discard unnecessary.  OTOH, perhaps lists should grow
a .discard method.

Skip