[Python-Dev] PEP 418: rename time.monotonic() to time.steady()? (original) (raw)
Ethan Furman ethan at stoneleaf.us
Wed Apr 4 00:10:45 CEST 2012
- Previous message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Next message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Cameron Simpson wrote:
Sigh. They're different things! For all that "steady" is a slightly vague term, steady and hires and monotonic are independent concepts. Of course a lot of high quality clocks will embody hires and ideally steady or monotonic.
This kind of offer-just-one-thing embedded policy is why I feel the API needs more user control and a polciy free interface, with montonic() et al providing handy prepackaged policy for the common uses.
+1
Ethan
- Previous message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Next message: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]