3 ms·

Also Pyre [0] by Facebook and Pytype [1] by Google. More importantly, the core part (type annotations) allowing these libraries to exist has been added to core

Also Pyre [0] by Facebook and Pytype [1] by Google. More importantly, the core part (type annotations) allowing these libraries to exist has been added to core python for years now and keeps on evolving, so it is an ongoing effort. EDIT: As mentioned below, also added Pyright [2] by Microsoft [0] https://github.com/facebook/pyre-check https://github.com/facebook/pyre-check [1] https://github.com/google/pytype https://github.com/google/pytype [2] https://github.com/microsoft/pyright https://github.com/microsoft/pyright

tracnar 6y ago
You forgot the one made by Microsoft, Pyright (and PyLance).
- ajliu 6y ago
  Having tried a good number of these various type checkers, it seems like Pyright is the only one that properly supports all of the accepted PEP changes to typing.