Para que serve a biblioteca mypy?

O Mypy é uma ferramenta de tipagem estática para Python. Permite verificar a conformidade dos tipos no código durante a fase de desenvolvimento, o que ajuda a identificar erros relacionados com o uso incorreto de tipos antes de executar o programa. O Mypy usa anotações de tipos adicionadas ao código e as analisa, garantindo um código mais confiável e legível.

Exemplo de uso de anotações e verificação com mypy:

from typing import List

def greet_all(names: List[str]) -> None:
    for name in names:
        print(f"Hello, {name}!")

# Se chamado com um tipo incorreto, o mypy emitirá um aviso
# greet_all(123)  # Erro de tipos

Assim, o mypy ajuda a melhorar a qualidade do código e a facilitar a sua manutenção.