<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Fri, May 18, 2018 at 2:48 AM Steven D'Aprano <<a href="mailto:steve@pearwood.info">steve@pearwood.info</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, May 17, 2018 at 11:02:23PM -0400, Neil Girdhar wrote:<br>
<br>
> However, the difference between the backslash syntax and comprehensions and<br>
> generator functions is that comprehensions and generator functions make the<br>
> language more expressive.  The backslash is no more expressive than<br>
> trailing underscore.  It's no more succinct, and no more clear.  Adding it<br>
> to the language constitutes more that the user needs to learn, which makes<br>
> Python slightly less accessible.<br>
<br>
On the contrary: it removes a pain point when dealing with external <br>
libraries. No longer will we have to *transform* the name on both input <br>
and output. Instead, we only need to *escape* the name when written as a <br>
literal.<br>
<br>
<br>
> I don't like multiple ways of doing the same thing.<br>
<br>
Ah, like when people want to use "class" as an identifier, and since <br>
they can't, they write:<br>
<br>
    klass cls Class<br>
<br>
and maybe even occasionally class_ :-)<br>
<br>
Or they use a synonym:<br>
<br>
    kind, clade, type (with or without trailing underscore).<br>
<br>
I've seen *every one of those choices* in real code. Except "clade", I <br>
just added that one now.<br>
<br>
Remind me again what the "one (obvious) way to do it" is?<br></blockquote><div><br></div><div>In most cases: cls</div><div><br></div><div><a href="https://www.python.org/dev/peps/pep-0008/#function-and-method-arguments">https://www.python.org/dev/peps/pep-0008/#function-and-method-arguments</a></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
> There is already<br>
> probably billions of lines of code that use trailing underscore to avoid<br>
> collisions. <br>
<br>
Indeed, and if this proposal is accepted, that will remain legal, and if <br>
people want to write class_ instead of \class or klass, or if_ instead <br>
of \in or infile, they are permitted to do so. </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
You can even have your own in-house style rules mandating whatever style <br>
you prefer.<br>
<br>
<br>
> If the backslash syntax is added, then there will be a natural<br>
> push towards the "right way" to avoid collisions.   If that's backslashes,<br>
> then projects are typically going to have code written with backslashes and<br>
> code written with underscore.  When you go access a variable named "where",<br>
> you'll wonder: was it called "\where" or "where_"?<br>
<br>
Yes? Why is this more of a problem than what we have now? Is it called <br>
(in context of PEP 572) "where" or "given"? In general, is it called:<br>
<br>
    where, place, location, loc, locus, position, pos, x, xy,<br>
    locality, locale, coordinates, coord<br>
<br>
or some other synonym?<br>
<br>
In order to successfully use a library's API, one needs to actually <br>
know what that API *is*. That means you need to know the name of things. <br>
Adding verbatim names won't change that.<br>
<br>
<br>
> Maybe the "\where" is pretty enough that it's worth it like you say.  Maybe<br>
> a function like:<br>
> <br>
> def f(\in=0, out=1):<br>
> <br>
> is prettier than<br>
> <br>
> def f(in_=0, out=1):<br>
> <br>
> but I'm already so used the current way of doing things, my aesthetic is<br>
> that it's not worth the variability.<br>
<br>
Being able to use "in" as an identifier as in that example is not the <br>
driving motivation for adding this feature. The driving motivation is to <br>
remove a pain point when dealing with external APIs that use keywords as <br>
regular identifiers, and to make it simpler to future-proof code when a <br>
new keyword is due to be introduced.<br>
<br>
Nobody is going to recommend that folks rush to deprecate their name_ <br>
APIs and replace them with \name. I'm sure most library maintainers <br>
will have better things to do. in_ will stay in_ for most existing code. <br>
It is only new code that doesn't have to care about 3.7 or older than <br>
can even consider this.<br>
<br>
<br>
> For that reason, I'd like to make a more modest proposal to *only* add a<br>
> verbatim versions of keywords as necessary, <br>
<br>
Because "special cases are special enough to break the rules, complicate <br>
the documentation and the implementation, and give rise to a thousand <br>
Stackoverflow posts asking why we can escape some keywords but not <br>
others".<br>
<br>
<br>
<br>
> e.g., "\where" or "\given".<br>
> That way, there will be no temptation to use that syntax in any other<br>
> place.<br>
<br>
Just because you have no use-case for using "except", say, as an <br>
identifier doesn't mean nobody has. You are not arbiter of which <br>
keywords are acceptable to use verbatim and which ones are forbidden.<br></blockquote><div><br></div><div>All of your arguments would have applied to a keyword escaping proposal had it been proposed before "given" was even considered.  The only reason we're even considered considering escaping is to keep code that uses "given" as an identifier working.  That's why I prefer the most modest solution of only being able to escape given.  After all, there wasn't any big need to escape other keywords last year.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
> When 3.7 hits end-of-life, the "\given" (or whatever) can be deprecated.<br>
<br>
Having a white list of "Permitted keywords you may escape" is horrible <br>
enough without baking in a policy of continued code churn by removing <br>
them from the whitelist every few releases.</blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
<br>
-- <br>
Steve<br>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank">Python-ideas@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" rel="noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-ideas</a><br>
Code of Conduct: <a href="http://python.org/psf/codeofconduct/" rel="noreferrer" target="_blank">http://python.org/psf/codeofconduct/</a><br>
<br>
-- <br>
<br>
--- <br>
You received this message because you are subscribed to a topic in the Google Groups "python-ideas" group.<br>
To unsubscribe from this topic, visit <a href="https://groups.google.com/d/topic/python-ideas/r1kFC8mYEKk/unsubscribe" rel="noreferrer" target="_blank">https://groups.google.com/d/topic/python-ideas/r1kFC8mYEKk/unsubscribe</a>.<br>
To unsubscribe from this group and all its topics, send an email to <a href="mailto:python-ideas%2Bunsubscribe@googlegroups.com" target="_blank">python-ideas+unsubscribe@googlegroups.com</a>.<br>
For more options, visit <a href="https://groups.google.com/d/optout" rel="noreferrer" target="_blank">https://groups.google.com/d/optout</a>.<br>
</blockquote></div></div>