Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/python/mypy

Optional static typing for Python
https://github.com/python/mypy

linter python typechecker types typing

Last synced: about 2 months ago
JSON representation

Optional static typing for Python

Lists

README 

        
mypy logo



Mypy: Static Typing for Python

=======================================



[![Stable Version](https://img.shields.io/pypi/v/mypy?color=blue)](https://pypi.org/project/mypy/)

[![Downloads](https://img.shields.io/pypi/dm/mypy)](https://pypistats.org/packages/mypy)

[![Build Status](https://github.com/python/mypy/actions/workflows/test.yml/badge.svg)](https://github.com/python/mypy/actions)

[![Documentation Status](https://readthedocs.org/projects/mypy/badge/?version=latest)](https://mypy.readthedocs.io/en/latest/?badge=latest)

[![Chat at https://gitter.im/python/typing](https://badges.gitter.im/python/typing.svg)](https://gitter.im/python/typing?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)

[![Checked with mypy](https://www.mypy-lang.org/static/mypy_badge.svg)](https://mypy-lang.org/)

[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)

[![Linting: Ruff](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/charliermarsh/ruff/main/assets/badge/v2.json)](https://github.com/astral-sh/ruff)



Got a question?

---------------



We are always happy to answer questions! Here are some good places to ask them:



- for anything you're curious about, try [gitter chat](https://gitter.im/python/typing)

- for general questions about Python typing, try [typing discussions](https://github.com/python/typing/discussions)



If you're just getting started,

[the documentation](https://mypy.readthedocs.io/en/stable/index.html)

and [type hints cheat sheet](https://mypy.readthedocs.io/en/stable/cheat_sheet_py3.html)

can also help answer questions.



If you think you've found a bug:



- check our [common issues page](https://mypy.readthedocs.io/en/stable/common_issues.html)

- search our [issue tracker](https://github.com/python/mypy/issues) to see if

  it's already been reported

- consider asking on [gitter chat](https://gitter.im/python/typing)



To report a bug or request an enhancement:



- report at [our issue tracker](https://github.com/python/mypy/issues)

- if the issue is with a specific library or function, consider reporting it at

  [typeshed tracker](https://github.com/python/typeshed/issues) or the issue

  tracker for that library



To discuss a new type system feature:



- discuss at [discuss.python.org](https://discuss.python.org/c/typing/32)

- there is also some historical discussion at the [typing-sig mailing list](https://mail.python.org/archives/list/[email protected]/) and the [python/typing repo](https://github.com/python/typing/issues)



What is mypy?

-------------



Mypy is a static type checker for Python.



Type checkers help ensure that you're using variables and functions in your code

correctly. With mypy, add type hints ([PEP 484](https://www.python.org/dev/peps/pep-0484/))

to your Python programs, and mypy will warn you when you use those types

incorrectly.



Python is a dynamic language, so usually you'll only see errors in your code

when you attempt to run it. Mypy is a *static* checker, so it finds bugs

in your programs without even running them!



Here is a small example to whet your appetite:



```python

number = input("What is your favourite number?")

print("It is", number + 1)  # error: Unsupported operand types for + ("str" and "int")

```



Adding type hints for mypy does not interfere with the way your program would

otherwise run. Think of type hints as similar to comments! You can always use

the Python interpreter to run your code, even if mypy reports errors.



Mypy is designed with gradual typing in mind. This means you can add type

hints to your code base slowly and that you can always fall back to dynamic

typing when static typing is not convenient.



Mypy has a powerful and easy-to-use type system, supporting features such as

type inference, generics, callable types, tuple types, union types,

structural subtyping and more. Using mypy will make your programs easier to

understand, debug, and maintain.



See [the documentation](https://mypy.readthedocs.io/en/stable/index.html) for

more examples and information.



In particular, see:



- [type hints cheat sheet](https://mypy.readthedocs.io/en/stable/cheat_sheet_py3.html)

- [getting started](https://mypy.readthedocs.io/en/stable/getting_started.html)

- [list of error codes](https://mypy.readthedocs.io/en/stable/error_code_list.html)



Quick start

-----------



Mypy can be installed using pip:



```bash

python3 -m pip install -U mypy

```



If you want to run the latest version of the code, you can install from the

repo directly:



```bash

python3 -m pip install -U git+https://github.com/python/mypy.git

# or if you don't have 'git' installed

python3 -m pip install -U https://github.com/python/mypy/zipball/master

```



Now you can type-check the [statically typed parts] of a program like this:



```bash

mypy PROGRAM

```



You can always use the Python interpreter to run your statically typed

programs, even if mypy reports type errors:



```bash

python3 PROGRAM

```



You can also try mypy in an [online playground](https://mypy-play.net/) (developed by

Yusuke Miyazaki). If you are working with large code bases, you can run mypy in

[daemon mode], that will give much faster (often sub-second) incremental updates:



```bash

dmypy run -- PROGRAM

```



[statically typed parts]: https://mypy.readthedocs.io/en/latest/getting_started.html#function-signatures-and-dynamic-vs-static-typing

[daemon mode]: https://mypy.readthedocs.io/en/stable/mypy_daemon.html



Integrations

------------



Mypy can be integrated into popular IDEs:



- Vim:

  - Using [Syntastic](https://github.com/vim-syntastic/syntastic): in `~/.vimrc` add

    `let g:syntastic_python_checkers=['mypy']`

  - Using [ALE](https://github.com/dense-analysis/ale): should be enabled by default when `mypy` is installed,

    or can be explicitly enabled by adding `let b:ale_linters = ['mypy']` in `~/vim/ftplugin/python.vim`

- Emacs: using [Flycheck](https://github.com/flycheck/)

- Sublime Text: [SublimeLinter-contrib-mypy](https://github.com/fredcallaway/SublimeLinter-contrib-mypy)

- Atom: [linter-mypy](https://atom.io/packages/linter-mypy)

- PyCharm: [mypy plugin](https://github.com/dropbox/mypy-PyCharm-plugin) (PyCharm integrates

  [its own implementation](https://www.jetbrains.com/help/pycharm/type-hinting-in-product.html) of [PEP 484](https://peps.python.org/pep-0484/))

- VS Code: provides [basic integration](https://code.visualstudio.com/docs/python/linting#_mypy) with mypy.

- pre-commit: use [pre-commit mirrors-mypy](https://github.com/pre-commit/mirrors-mypy).



Web site and documentation

--------------------------



Additional information is available at the web site:



  



Jump straight to the documentation:



  



Follow along our changelog at:



  



Contributing

------------



Help in testing, development, documentation and other tasks is

highly appreciated and useful to the project. There are tasks for

contributors of all experience levels.



To get started with developing mypy, see [CONTRIBUTING.md](CONTRIBUTING.md).



If you need help getting started, don't hesitate to ask on [gitter](https://gitter.im/python/typing).



Mypyc and compiled version of mypy

----------------------------------



[Mypyc](https://github.com/mypyc/mypyc) uses Python type hints to compile Python

modules to faster C extensions. Mypy is itself compiled using mypyc: this makes

mypy approximately 4 times faster than if interpreted!



To install an interpreted mypy instead, use:



```bash

python3 -m pip install --no-binary mypy -U mypy

```



To use a compiled version of a development

version of mypy, directly install a binary from

.



To contribute to the mypyc project, check out