<div dir="ltr"><div>I have reviewed PEP 561 and I intend to accept it some time next week, unless significant discussion happens between now and then.</div><div><br></div><div><div>The latest version of the PEP can be found at <a href="https://www.python.org/dev/peps/pep-0561/">https://www.python.org/dev/peps/pep-0561/</a></div></div><div><br></div><div>PEP 561 solves a big problem for users of static type checkers like mypy and Pyre (as well as pytype and PyCharm): how to scale the creation of stubs (files with just type annotations, with a .pyi extension). IMO Ethan Smith has done a great job both coming up with and revising the design, and crafting an implementation -- most of PEP 561 is already supported by mypy.</div><div><br></div><div>It's been a while since a copy of the PEP was posted to python-dev (<a href="https://mail.python.org/pipermail/python-dev/2018-April/152694.html">https://mail.python.org/pipermail/python-dev/2018-April/152694.html</a>), but only a few things changed since then, so I'll just link to the change history: <a href="https://github.com/python/peps/commits/master/pep-0561.rst">https://github.com/python/peps/commits/master/pep-0561.rst</a>.</div><div><br></div><div>Only the last two commits are new since the last posting: support for partial packages and a bunch of small textual tweaks I found today while reviewing. There wasn't a lot of feedback then so I don't expect a flamewar today, but better late than never. ;-)<br></div><div><div><br>-- <br><div dir="ltr" class="gmail_signature">--Guido van Rossum (<a href="http://python.org/~guido">python.org/~guido</a>)</div></div></div></div>