On Tue, Nov 2, 2010 at 14:21, Rob Cliffe rob.cliffe@btinternet.com wrote:
On 02/11/2010 15:35, Antoine Pitrou wrote:
On Tue, 2 Nov 2010 16:02:47 +0100 spirdenis.spir@gmail.com wrote:
Imo, "timer" is exactly the proper term
I'm not sure it's the proper term. A timer is often a countdown with a callback. See for example threading.Timer and signal.setitimer.
the issue due to proximity with "time" is real, but far less
important.
I think it would be too easy to use one instead of the other, and get strange semantics (both count in seconds but with slightly different characteristic).
Regards
Antoine.
Python-ideas mailing list Python-ideas@python.org http://mail.python.org/mailman/listinfo/python-ideas
Well, how about "clock"?
"time.clock()" seems quite evocative to me. Best wishes Rob Cliffe
time.clock is already a part of the problem.