Type Stub PEP

[microsoft]

Type Stub PEP

[erictraut]

Hi Sebastian, thanks for your interest.

Keep in mind that pyright is a work in progress. It's a side project with no full-time engineering team behind it. In that respect, I don't know if it has yet to earn a spot on this list.

There is one entry that I would like to encourage you to add. Microsoft does have an officially-supported Python Language Server, an extension for VS Code that has been downloaded over 35M times already. It contains a Python type checker and is fully supported by a team at Microsoft. They are making improvements to it all the time. It isn't currently offered in the form of a command-line tool, but it is a capable type checker and deserves to be included in your list. You can contact the maintainers through the GitHub site I referenced above.

[srittau]

Thank you for your pointer to the language server. If at some point in the future you feel that pyright should be added to the list, please let us know, either in our current repository, or in the PEPs respository after the PEP is released.