pype

pype is a Python static code analyzer & language server written in Rust.

Installation

cargo (rust package manager)

cargo install pype

or download the binary from [the releases page].

How it works

pype uses the type checker of the erg programming language internally. This language is a transpiled language that targets Python, and has a static type system.

pype converts Python ASTs to Erg ASTs and passes them to Erg's type checker. It then displays the results with appropriate modifications.

What is the advantage over pylint, pyright, pytype, etc.?

pype performs type inference of Python source code. Therefore, there is no need to annotate or type your Python scripts in order to use pype. You can, however, explicitly request type checks by specifying types.

Other softwares that takes the same approach as pype are pytype, pyright, etc.

However, pype is superior to them in the following points:

• Checking speed: pype can inspect Python scripts on average 100 times faster than pytype. This is largely due to the fact that pype is implemented in Rust, whereas pytype is implemented in Python.

• Type checking accuracy: pytype is just a static code analysis tool in python, whereas pype appropriates the type checker of Erg, a real statically typed programming language.

• Reporting quality: While pytype's error reports are frankly very crude, showing only that an error has occurred, pype shows where the error occurred and provides clear error messages. Also, pytype only displays the first error when there are multiple errors. pype enumerates as many errors as possible.