A performant type checker for Python compliant with PEP 484
Pyre
Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.
Pyre ships with Pysa, a security focused static analysis tool we’ve built on top of Pyre that reasons about data flows in Python applications.
Requirements
To get started, you need Python 3.6 or later and watchman working on your system. On MacOS you can get everything with homebrew:
$ brew install python3 watchman
On Ubuntu, Mint, or Debian; use apt-get and homebrew:
$ sudo apt-get install python3 python3-pip python3-venv
$ brew install watchman
We tested Pyre on Ubuntu 18.04.5 LTS, CentOS 7, as