Pytype versus Mypy : quel outil pour vérifier les types en Python ?

Spécialité(s)


Résumé

Il y a quelque temps, j'avais écrit un petit article sur le typage en Python [1]. Dans cet article je présentais deux outils de vérification : Mypy et Pyre, mais il existe un autre outil, Pytype qui, lui, est donné pour capable d'inférer automatiquement le type des variables. Bonne nouvelle ?


Python est un langage à typage dynamique fort et il est possible, pour une plus grande rigueur d'écriture et une meilleure lisibilité du code, d'y intégrer un typage sous forme d'annotations. Ces annotations ne seront pas prises en compte par l'interpréteur et ne servent donc qu'à vérifier ce que le développeur attendait comme données. Prenons l'exemple d'une fonction d'addition :

def add(value_1, value_2):
    return value_1 + value_2

Nous pouvons utiliser cette fonction de différentes manières. Pour illustrer cela, nous allons utiliser un Shell Python. Il est ainsi possible :

  • d'additionner des entiers :
>>> add(3, 4)
7
  • d'additionner des réels :
>>> import math
>>> add(math.pi, 5.6464)
8.787992653589793
  • et même, de traiter des chaînes de caractères :
>>> add('Hello,', ' GLMF !')
'Hello, GLMF !'

Pourtant, le développeur avait peut-être initialement conçu sa fonction uniquement dans le but d'additionner des...

Cet article est réservé aux abonnés. Il vous reste 91% à découvrir.
S'abonner à Connect
  • Accédez à tous les contenus de Connect en illimité
  • Découvrez des listes de lecture et des contenus Premium
  • Consultez les nouveaux articles en avant-première
Je m'abonne


Article rédigé par

Abonnez-vous maintenant

et profitez de tous les contenus en illimité

Je découvre les offres

Déjà abonné ? Connectez-vous