Qu'apportent réellement les annotations de type et un vérificateur comme mypy ?

Les annotations de type sont des annotations que Python ne fait pas respecter à l'exécution ; un vérificateur statique comme mypy ou pyright les lit et signale les incohérences avant que le code tourne. Le bénéfice est d'attraper des classes entières d'erreurs, comme un None qui circule là où une valeur est requise, plus une complétion et un refactoring bien meilleurs dans l'éditeur. Elles documentent aussi l'intention plus fidèlement qu'une docstring, qui dérive avec le temps.

À l'exécution ce sont pour ainsi dire des commentaires, puisque Python les stocke et passe à autre chose. La valeur vient d'un vérificateur qui les lit. Mypy attrape les bugs ennuyeux qui causent la plupart des incidents, surtout des valeurs optionnelles qui arrivent dans du code qui suppose un objet réel, et la dérive de signature après un refactoring où un appelant a été oublié. Sur une base de code dont j'ai hérité, environ soixante mille lignes sans aucune annotation, nous avons activé mypy avec presque tout désactivé, nous l'avons ajouté à la CI pour que le nombre d'erreurs ne puisse plus augmenter, puis nous avons typé module par module en commençant par les frontières où les données entrent. Le mode strict est venu plus tard, package par package, via des overrides par module dans pyproject. Six mois après, il a attrapé un déréférencement de None dans un chemin de paiement pendant la revue plutôt qu'à deux heures du matin. L'autre bénéfice sous-estimé est le support de l'éditeur, parce qu'avec de vrais types, renommer et aller à la définition fonctionnent vraiment, ce qui change la volonté de l'équipe de refactorer quoi que ce soit.