[Python-Dev] Terminology for PEP 343

[Josiah Carlson]

Just because not all cars are used as vehicles, does that mean that cars
are not vehicles?

There may be cases where the object being managed is not a resource
per-se, but that doesn't mean that the mechanism is misnamed as a
'resource manager'; it's just the most common use case that any of us
have managed to think of (as of yet).

 - Josiah


Michael Hudson <mwh at python.net> wrote:
> 
> "Phillip J. Eby" <pje at telecommunity.com> writes:
> 
> > At 05:41 PM 6/30/2005 -0400, Raymond Hettinger wrote:
> >>With 343 accepted, we can now add __enter__() and __exit__() methods to
> >>objects.
> >>
> >>What term should describe those objects in the documentation?
> >
> > Resource managers.
> 
> Thing is, there may be no resource; in my talk at EuroPython:
> 
>     http://starship.python.net/crew/mwh/recexc.pdf
> 
> I used a with statement to establish and dis-establish an error
> handler -- would you call that a resource?