<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I think that a time decorator will be a useful addition to the sandard library, as i find the current way of measuring execution time a bit tedious:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<pre style=" font-size: 11.8953px">timeit.timeit("fun_to_time(a, b)", setup="from __main__ import a, b", number=1)</pre>
compared to:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<pre style=" font-size: 11.8953px">@timef
def fun_to_time(a, b):
...</pre>
<pre style=" font-size: 11.8953px">or</pre>
<pre style=" font-size: 11.8953px"><pre style=" font-size: 11.8953px">timef(print)("Hello world!").</pre><pre style=" font-size: 11.8953px">I already made a basic implementation of it, and it's working well.</pre><br></pre>
<br>
</div>
</body>
</html>