À quoi sert la bibliothèque mypy?

Mypy est un outil de typage statique pour Python. Il permet de vérifier la conformité des types dans le code lors de la phase de développement, ce qui aide à détecter les erreurs liées à une utilisation incorrecte des types avant l'exécution du programme. Mypy utilise des annotations de types ajoutées dans le code et les analyse, assurant un code plus fiable et lisible.

Exemple d'utilisation des annotations et de la vérification avec mypy :

from typing import List

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

# Si appelé avec un type incorrect, mypy émettra un avertissement
# greet_all(123)  # Erreur de types

Ainsi, mypy contribue à améliorer la qualité du code et à en faciliter la maintenance.