mypy

Mypy est un vérificateur de types statique pour Python. En ajoutant des annotations de type (PEP 484) à un programme Python, mypy signale l'utilisation incorrecte de variables et de fonctions avant l'exécution du code, car il analyse les programmes de manière statique plutôt qu'à l'exécution. Caractéristiques principales décrites dans le README : - Typage progressif : les annotations de type peuvent être introduites progressivement, et le code peut toujours revenir au typage dynamique là où le typage statique est peu pratique. Les annotations de type ne modifient pas le fonctionnement du programme. - Fonctionnalités du système de types : inférence de types, génériques, types appelables, types tuples, types union et sous-typage structurel. - Installation via pip (`python3 -m pip install -U mypy`) ou directement depuis le dépôt. - Utilisation en ligne de commande : `mypy PROGRAM` pour vérifier les types, et `dmypy run -- PROGRAM` pour le mode démon, qui offre des mises à jour incrémentielles plus rapides pour les grandes bases de code. - Un playground en ligne est disponible pour essayer mypy. - Intégrations aux éditeurs et outils : VS Code, Vim (Syntastic, ALE), Emacs (Flycheck), Sublime Text, PyCharm, IDLE et pre-commit. - Une documentation, un aide-mémoire sur les annotations de type, un guide de démarrage et une liste de codes d'erreur sont fournis. - Mypyc compile les modules Python en extensions C à l'aide des annotations de type ; mypy lui-même est compilé avec mypyc, ce qui, selon le README, le rend environ quatre fois plus rapide que l'exécution interprétée. Une installation interprétée est possible avec `--no-binary mypy`. Le projet accueille les contributions dans les domaines des tests, du développement, de la documentation et d'autres domaines, avec des tâches pour les contributeurs de tous niveaux d'expérience.