mypy

Mypy é um verificador de tipos estático para Python. Ao adicionar anotações de tipo (PEP 484) a um programa Python, o mypy relata uso incorreto de variáveis e funções antes que o código seja executado, pois analisa programas estaticamente em vez de em tempo de execução. Características principais descritas no README: - Tipagem gradual: as anotações de tipo podem ser introduzidas lentamente, e o código pode sempre recorrer à tipagem dinâmica onde a tipagem estática for inconveniente. As anotações de tipo não alteram como o programa é executado. - Recursos do sistema de tipos: inferência de tipos, genéricos, tipos chamáveis, tipos de tupla, tipos de união e subtipagem estrutural. - Instalação via pip (`python3 -m pip install -U mypy`) ou diretamente do repositório. - Uso na linha de comando: `mypy PROGRAM` para verificar tipos, e `dmypy run -- PROGRAM` para o modo daemon, que fornece atualizações incrementais mais rápidas para grandes bases de código. - Um playground online está disponível para experimentar o mypy. - Integrações com editores e ferramentas: VS Code, Vim (Syntastic, ALE), Emacs (Flycheck), Sublime Text, PyCharm, IDLE e pre-commit. - Documentação, uma folha de referência de anotações de tipo, um guia de introdução e uma lista de códigos de erro são fornecidos. - Mypyc compila módulos Python para extensões C usando anotações de tipo; o próprio mypy é compilado com mypyc, o que, segundo o README, o torna aproximadamente quatro vezes mais rápido que a execução interpretada. Uma instalação interpretada é possível com `--no-binary mypy`. O projeto aceita contribuições em testes, desenvolvimento, documentação e outras áreas, com tarefas para contribuidores de todos os níveis de experiência.