Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2012-April/118447.html below:

[Python-Dev] PEP 418: rename time.monotonic() to time.steady()?

• 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 ]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4