Mypy a été sans doute le premier système de vérification de type statique pour Python, puisque les premières versions sont sorties en 2012 et qu'il est toujours en cours de développement actif.

Mypy gère les annotations Python 3 (directement dans le code) ou Python 2 (sous forme de commentaire). Comme pour les vérificateurs de code, il est possible directement depuis le code d’ignorer une ...