<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, May 31, 2017 at 6:16 AM, Ivan Levkivskyi <span dir="ltr"><<a href="mailto:levkivskyi@gmail.com" target="_blank">levkivskyi@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class="">On 30 May 2017 at 23:02, Guido van Rossum <span dir="ltr"><<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>></span> wrote: </span><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">All in all I'm still leaning towards Naomi's original proposal -- it looks simpler to implement as well.<br><div dir="ltr"><span></span></div></blockquote><div><br></div></span><div>OK, I think having a bit of verbosity is absolutely fine if we win simplicity of implementation (for both static and runtime purposes). <br></div></div></div></div>
</blockquote></div><br></div><div class="gmail_extra">Then I propose to do it this way. We can always add Jukka's way as an alternative notation later. I'd like to hear from Jukka before I merge the PR for PEP-484.<br><br>In the meantime, Naomi, are you interested in trying to implement this?<br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">--Guido van Rossum (<a href="http://python.org/~guido" target="_blank">python.org/~guido</a>)</div>
</div></div>