Well, maybe all we need is the timeit module, then? I didn't realize that we have default_timer there.
Otherwise, I'm not sure about "timer". To me that word implies some sort of context to be timed, or action to be taken, but I'm +0 on it.
-----Original Message----- From: firstname.lastname@example.org [mailto:email@example.com] On Behalf Of Steven D'Aprano Sent: Tuesday, November 02, 2010 9:51 To: firstname.lastname@example.org Subject: Re: [Python-ideas] time.wallclock() or other similar stuff The timeit module includes:
if sys.platform == "win32": # On Windows, the best timer is time.clock() default_timer = time.clock else: # On most other platforms the best timer is time.time() default_timer = time.time
+1 on a platform-dependent alias to time() or clock() +1 on calling it "timer" -0 on calling it "wall_clock"