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

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