<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 30.08.2016 04:34, David Mertz wrote:<br>
</div>
<blockquote
cite="mid:CAEbHw4Y9KxhQ3r7=LHXdN0Ky2zGK6ZphH0kZ16xJpR=X8kn8ew@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">On Mon, Aug 29, 2016 at 1:55 PM, Sven
R. Kunze <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:srkunze@mail.de" target="_blank">srkunze@mail.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">There
was no reasonable real-world code examples taken from
important projects, that would be significantly improved
by underscores in numbers.<br>
</blockquote>
<div><br>
</div>
<div>I recall dozens of real world examples that came up
during the discussion, and have written very numerous such
examples in code of my own. This is something that
directly affects readability in code I write almost every
day, and is a clear and obvious win.</div>
<div> </div>
<div>I taught examples *today* where I would have badly
liked to have underscore separators, and it was obvious to
me and students that awkwardness. Writing, e.g.
`range(int(1e7))` feel contrives (but usually the way I do
it). Writing `range(10000000)` is nearly impossible to
parse visually. In contrast, writing `range(10_000_000)`
will be immediately clear and obvious.<br>
</div>
</div>
<div><br>
</div>
<div>
<div>None of those things can be said of SI units as Python
literals.</div>
</div>
</div>
</div>
</blockquote>
<br>
Hu? None of those things? I do think you exaggerate quite a lot
here.<br>
<br>
If your real-world example works for underscores, it works for SI
units and scales as well.<br>
<br>
<br>
I for one don't have usage of either, so having such a distance to
the subject at hand, I don't see this as a compelling argument
against/for his proposal.<br>
<br>
<br>
Sven<br>
</body>
</html>