<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">On Jan 10, 2018 07:17, "Yury Selivanov" <<a href="mailto:yselivanov.ml@gmail.com">yselivanov.ml@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto">Wasn't PEP 555 rejected by Guido? What's the point of this post?</div><div dir="auto"></div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">I sure hope there is a point. I don't think mentioning PEP 555 in the discussions should hurt. </div><div dir="auto"><br></div><div dir="auto">A typo in my post btw: should be "PEP 567 (+568 ?)" in the second paragraph of course.</div><div dir="auto"><br></div><div dir="auto">-- Koos (mobile)</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto"><br></div><div dir="auto">Yury</div><br><div class="gmail_quote"><div class="elided-text"><div>On Wed, Jan 10, 2018 at 4:08 AM Koos Zevenhoven <<a href="mailto:k7hoven@gmail.com" target="_blank">k7hoven@gmail.com</a>> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="elided-text"><div><div class="gmail_default"><font face="arial, helvetica, sans-serif">Hi all,</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">I feel like I should write some thoughts regarding the "context" discussion, related to the various PEPs. </font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">I like PEP 567 (+ 567 ?) better than PEP 550. However, besides providing cvar.set(), I'm not really sure about the gain compared to PEP 555 (which could easily have e.g. a dict-like interface to the context). I'm still not a big fan of "get"/"set" here, but the idea was indeed to provide those on top of a PEP 555 type thing too.</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">"Tokens" in PEP 567, seems to resemble assignment context managers in PEP 555. However, they feel a bit messy to me, because they make it look like one could just set a variable and then revert the change at any point in time after that.</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">PEP 555 is in fact a simplification of my previous sketch that had a .set(..) in it, but was somewhat different from PEP 550. The idea was to always explicitly define the scope of contextvar values. A context manager / with statement determined the scope of .set(..) operations inside the with statement:</font></div><div class="gmail_default"><br></div><div class="gmail_default"><font face="monospace, monospace"># Version A:</font></div><div class="gmail_default"><font face="monospace, monospace">cvar.set(1)</font></div><div class="gmail_default"><font face="monospace, monospace">with context_scope():</font></div><div class="gmail_default"><font face="monospace, monospace">    cvar.set(2)</font></div><div class="gmail_default"><font face="monospace, monospace">    </font></div><div class="gmail_default"><font face="monospace, monospace">    assert cvar.get() == 2</font></div><div class="gmail_default"><font face="monospace, monospace"><br></font></div><div class="gmail_default"><font face="monospace, monospace">assert cvar.get() == 1</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">Then I added the ability to define scopes for different variables separately:</font></div><div class="gmail_default"><br></div><div class="gmail_default"><font face="monospace, monospace"># Version B</font></div><div class="gmail_default"><font face="monospace, monospace">cvar1.set(1)</font></div><div class="gmail_default"><font face="monospace, monospace">cvar2.set(2)</font></div><div class="gmail_default"><font face="monospace, monospace">with context_scope(cvar1):</font></div><div class="gmail_default"><font face="monospace, monospace">    cvar1.set(11)</font></div><div class="gmail_default"><font face="monospace, monospace">    cvar2.set(22)<br></font></div><div class="gmail_default"><font face="monospace, monospace"><br></font></div><div class="gmail_default"><font face="monospace, monospace">assert cvar1.get() == 1</font></div><div class="gmail_default"><font face="monospace, monospace">assert cvar2.get() == 22</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">However, in practice, most libraries would wrap __enter__, set and __exit__ into another context manager. So maybe one might want to allow something like </font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><div class="gmail_default"><font face="monospace, monospace"># Version C:</font></div><div class="gmail_default"><span style="font-family:monospace,monospace">assert cvar.get() == something</span><br></div><div class="gmail_default"><font face="monospace, monospace">with context_scope(cvar, 2):</font></div><div class="gmail_default"><span style="font-family:monospace,monospace">    assert cvar.get() == 2</span><br></div><div class="gmail_default"><font face="monospace, monospace"><br></font></div><div class="gmail_default"><span style="font-family:monospace,monospace">assert cvar.get() == something</span><br></div></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">But this then led to combining "__enter__" and ".set(..)" into Assignment.__enter__ -- and "__exit__" into Assignment.__exit__ like this:</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"># PEP 555 draft version:</font></div><div class="gmail_default"><font face="monospace, monospace">assert cvar.value == something</font></div><div class="gmail_default"><span style="font-family:monospace,monospace">with cvar.assign(1):</span><br></div><div class="gmail_default"><font face="monospace, monospace">    assert cvar.value == 1</font></div><div class="gmail_default"><font face="monospace, monospace"><br></font></div><div class="gmail_default"><font face="monospace, monospace">assert cvar.value == something</font></div><div class="gmail_default"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default"><br></div><div class="gmail_default">Anyway, given the schedule, I'm not really sure about the best thing to do here. In principle, something like in versions A, B and C above could be done (I hope the proposal was roughly self-explanatory based on earlier discussions). However, at this point, I'd probably need a lot of help to make that happen for 3.7.<br></div><div class="gmail_default"><div><br></div></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">-- Koos</font></div><div><br></div>
</div></div>
______________________________<wbr>_________________<br>
Python-Dev mailing list<br>
<a href="mailto:Python-Dev@python.org" target="_blank">Python-Dev@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-dev" rel="noreferrer" target="_blank">https://mail.python.org/<wbr>mailman/listinfo/python-dev</a><br>
Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/yselivanov.ml%40gmail.com" rel="noreferrer" target="_blank">https://mail.python.org/<wbr>mailman/options/python-dev/<wbr>yselivanov.ml%40gmail.com</a><br>
</blockquote></div></div>
</blockquote></div><br></div></div></div>