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.