Python Type Checker
Project description
Typpy - Python Type Checker
Typpy is an experimental type checker for Python. It's similar to mypy, but instead of statically checking the code, it dynamically imports the modules and is therefore able to perform type check that mypy is unable to perform. This particularly includes decorated classes and functions.
Requirements
Typpy support Python 3.7 and newer.
Quick Start
typpy path/to/file.py
Status
Currently, typpy is still in a very early stage and only support a limited number of type checks:
- Variable assignments
- Function calls
Typpy right now even crashes on certain source code inputs. I'm adding support for different python constructs such as comparison expressions, classes, import statements and so on. I expect typpy to be able to check most real world code in the next few weeks.
Python version support
Python's typing
module and the specs are rapidly evolving with each python
minor version. Therefore, it costs a lot of time to maintain and implement
support for many python versions.
Since python 3.6 has end-of-life in December 2021, typpy does not support it. We encourage developers to upgrade python to a supported version.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.