Metadata-Version: 2.1
Name: typpy
Version: 0.4.0
Summary: Python Type Checker
Home-page: https://github.com/frapa/typpy
Author: Francesco Pasa
Author-email: francescopasa@gmail.com
License: GPL3
Platform: UNKNOWN
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Typing :: Typed
Description-Content-Type: text/markdown
Requires-Dist: colorama (~=0.4)

# Typpy - Python Type Checker

![example workflow](https://github.com/frapa/typpy/actions/workflows/main.yml/badge.svg)

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

```bash
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.


