[Python-ideas] time.wallclock() or other similar stuff
spir
denis.spir at gmail.com
Tue Nov 2 11:18:15 CET 2010
More information about the Python-ideas mailing list
Tue Nov 2 11:18:15 CET 2010
- Previous message: [Python-ideas] time.wallclock() or other similar stuff
- Next message: [Python-ideas] time.wallclock() or other similar stuff
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On Tue, 02 Nov 2010 14:38:14 +1100 Steven D'Aprano <steve at pearwood.info> wrote: > Alexander Belopolsky wrote: > Well, yes, it does, but: > > (1) How many people would think to look in timeit for this function? > Both you and Kristján were apparently surprised that it already exists, > and I'd bet money that you weren't the only ones. timeit seems to be > more of an application than a library (although I acknowledge the border > between the two is fuzzy), and people don't think about using it as a > library. > > (2) The time module is the natural place to look for time-related > functions. It would be nicer if timeit could import the default timer > from time: > > from time import timer as default_timer # or wall_clock if you prefer > > (3) The default_timer is an implementation detail of timeit. It could > change, or disappear, or be renamed. You'll note it isn't documented: > > http://docs.python.org/library/timeit.html > > (4) I started off thinking that we should just document timer > (wall_clock) as an alias to one of time() or clock(), but I changed my > mind. That's an implementation detail that we should be free to change > in the future. For the sake of information hiding, we shouldn't promise > that the timer will be one of time.clock() or time.time(). Who knows, > maybe there are (or will be someday) supported platforms where neither > choice is appropriate, and the timer needs to be something else? Very good summary of the present issue. I think the proposed solution is just what we need. Denis -- -- -- -- -- -- -- vit esse estrany ☣ spir.wikidot.com
- Previous message: [Python-ideas] time.wallclock() or other similar stuff
- Next message: [Python-ideas] time.wallclock() or other similar stuff
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the Python-ideas mailing list