[Python-Dev] Retrieve an arbitrary element from a set without removing it

["Martin v. Löwis"]

> If you actually care about that aspect of the semantics for a particular
> application, it would be far clearer to use a full dict() and live with
> the additional memory usage. While I can see how saving that
> pointer-per-entry might make sense in some circumstances, for most I
> would see it as a needlessly confusing micro-optimisation.

That's exactly my view.

Regards,
Martin