<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace"><span style="font-family:arial,sans-serif">On Sun, Nov 12, 2017 at 7:07 AM, Guido van Rossum </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class=""><div class="gmail_extra"><div class="gmail_quote">On Fri, Nov 10, 2017 at 11:02 PM, Nick Coghlan <span dir="ltr"><<a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On 11 November 2017 at 01:48, Guido van Rossum <<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>> wrote:<br>
> I don't mind the long name. Of all the options so far I really only like<br>
> 'string_annotations' so let's go with that.<br>
<br>
</span>+1 from me.<br></blockquote></div><br clear="all"></div></span><div class="gmail_extra">I'd like to reverse my stance on this. We had `from __future__ import division` for many years in Python 2, and nobody argued that it implied that Python 2 doesn't have division -- it just meant to import the future *version* of division. So I think the original idea, `from __future__ import annotations` is fine. I don't expect there will be *other* things related to annotations that we'll be importing from the future.<br></div><span class=""><div class="gmail_extra"><br></div></span></div></blockquote><div><br></div><div class="gmail_default" style="font-family:monospace,monospace">Furthermore, *​nobody* expects the majority of programmers to look at __annotations__ either. But those who do need to care about the 'implementation detail' of whether it's a string won't be surprised to find nested strings like "'ForwardReferencedThing'". But one might fear that those cases get ruthlessly converted into being equivalent to just "ForwardReferencedThing".</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">So actually my question is: What should happen when the annotation is already a string literal?</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">-- Koos</div><div class="gmail_default" style="font-family:monospace,monospace">  ​</div></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">+ Koos Zevenhoven + <a href="http://twitter.com/k7hoven" target="_blank">http://twitter.com/k7hoven</a> +</div>
</div></div>