MyPy IPython

Type check your Jupyter notebooks!

Introduction

The mypy_ipython extension integrates the mypy type checker with Jupyter notebooks.

Quick Start

Load the extension with:

%load_ext mypy_ipython

Then run the type check with:

%mypy

Example output:

note: In function "foo":
       x + "d"
error: Unsupported operand types for + ("int" and "str")
       return {}
error: Incompatible return value type (got "Dict[<nothing>, <nothing>]", expected "str")
Found 2 errors in 1 file (checked 1 source file)

Type checking failed