<div dir="ltr">On Fri, 19 Oct 2018 at 08:19, Thomas G├╝ttler <<a href="mailto:guettliml@thomas-guettler.de">guettliml@thomas-guettler.de</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">[...]<br>
This makes the type mapping available for all files in this directory (or sub-directories).<br>

What do you think?<br></blockquote><div><br></div><div>I don't think this should be a language feature. _Maybe_ it can be some kind of an agreed format between IDEs.</div><div>But in any case I would first discuss this on PyCharm and VScode (IntelliSense?) trackers.</div><div><br></div><div>Also I don't think it is a good fit for mypy (and probably other type checkers, but better ask pytype and pyre devs).</div><div>I would rather expect that IDEs auto-add annotations using some guided heuristics, and then type checkers can verify them.<br></div><div><br></div><div>--</div><div>Ivan</div><div><br></div><div><br></div></div></div>