Comment Mypy Rend le Code Python Plus Fiable et Pourquoi Vous Devriez l'Adopter Aujourd'hui

Imaginez un scénario classique. Vous déployez une fonctionnalité avant le week-end, tous les tests passent, et cinq minutes après le déploiement, votre monitoring s'affole. Les logs affichent une erreur familière TypeError: unsupported operand type(s) for +: 'int' and 'str'. Quelqu'un a passé une chaîne de caractères depuis un formulaire web au lieu d'un nombre, la fonction a tenté d'additionner les valeurs, et le service est tombé.

Le typage dynamique de Python vous offre un bon point de départ et vous permet de construire rapidement des prototypes. Cependant, à mesure que le projet grandit, cela devient une source constante de risques. Toute refactorisation d'un ancien module se transforme en champ de mines.

C'est là que mypy intervient — le vérificateur de types statique officiel pour Python qui détecte ce type d'erreurs avant même l'exécution du code.

L'Idée Derrière le Typage Graduel

Les annotations de type sont apparues dans Python avec la publication du PEP 484 en 2015. Mypy lit ces annotations et valide leur logique, sans affecter l'exécution du programme en quoi que ce soit. Pour l'interpréteur Python lui-même, vos types restent de simples indices dans le code, similaires aux commentaires ordinaires.

Les développeurs ont intégré le typage graduel dans l'outil. Vous n'avez pas à réécrire l'ensemble de la base de code du jour au lendemain. Vous pouvez annoter quelques modules critiques, comme une passerelle de paiement ou l'autorisation, et laisser le reste du code dynamique.

Examinons un exemple d'erreur simple :

def calculate_discount(price: float, discount: float) -> float:
    return price * (1 - discount)

user_input = input("Введите размер скидки: ")
total = calculate_discount(100.0, user_input)

Si vous lancez la vérification depuis le terminal :

mypy script.py

L'analyseur affiche immédiatement l'emplacement de l'erreur :

script.py:5: error: Argument 2 to "calculate_discount" has incompatible type "str"; expected "float"

Vous avez détecté un plantage potentiel en production dès le développement, en passant exactement une seconde.

Fonctionnalités Principales de l'Analyseur

L'outil peut faire bien plus que simplement comparer des nombres et des chaînes de base. Mypy comprend les structures de code complexes grâce à un système de types bien pensé :

• Inférence automatique des types. Si vous écrivez items = [1, 2, 3], l'outil déterminera de lui-même qu'il s'agit d'une liste d'entiers.
• Prise en charge des génériques, tuples, fonctions et correspondance de types.
• Sous-typage structurel via les Protocols et les types Union.
• Contrôle des valeurs None. Dites adieu aux AttributeError: 'NoneType' object has no attribute inattendus.

Lorsqu'un projet atteint des centaines de milliers de lignes, une vérification classique commence à prendre du temps. Pour ces situations, les auteurs ont créé un mode daemon :

dmypy run -- script.py

Le daemon reste en mémoire, stocke le graphe de dépendances, et lorsque les fichiers changent, il recalcule uniquement la différence. La réponse arrive instantanément.

Ce qui Rend mypy Rapide

Un détail intéressant concernant le dépôt : mypy est écrit en Python mais peut se compiler lui-même.

Les auteurs ont créé l'utilitaire mypyc, qui traduit le code Python typé en extensions C. Grâce à cette compilation, l'analyseur lui-même fonctionne environ quatre fois plus vite que l'interpréteur standard.

Intégration dans Votre Flux de Travail

Vérifier manuellement le code via la console n'est pas pratique. Mypy s'intègre facilement aux outils du quotidien.

L'installation se fait en une seule commande :

python3 -m pip install -U mypy

Il existe des plugins prêts à l'emploi pour VS Code, PyCharm, Vim et Emacs. Les erreurs sont surlignées directement dans l'éditeur au fur et à mesure de votre saisie. En configurant l'intégration avec pre-commit, vous bloquerez la possibilité de commiter du code avec des types incorrects.

Où les Difficultés Apparaissent

Le vérificateur de types ne résout pas absolument tous les problèmes. Vous devrez vivre avec certains désagréments.

Les bibliothèques tierces n'incluent pas toujours des annotations. Pour les paquets populaires, il existe un dépôt séparé typeshed, mais pour une bibliothèque obscure, vous devrez soit écrire vous-même les fichiers .pyi, soit silencieux les vérifications avec # type: ignore.

De plus, le dépôt du projet compte plus de trois mille issues ouvertes. Les cas limites d'un métaprogrammation complexe entraînent parfois des faux positifs.

À Qui l'Outil Est-il Destiné

Pour un script occasionnel de 50 lignes, mypy est clairement excessif. Les annotations ne feraient que gaspiller votre temps.

Mais si vous construisez un projet durable avec FastAPI, Django, ou développez un service sur lequel une équipe travaille, mypy protégera votre code des fautes de frappe et des bogues logiques triviaux.

Commencez par une petite étape : installez le paquet, configurez un fichier de configuration permissif mypy.ini, et ajoutez des annotations à quelques fonctions complexes. Le code deviendra plus clair sans avoir à lire une documentation volumineuse.