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

Magazine
Marque
GNU/Linux Magazine
Numéro
231
Mois de parution
novembre 2019
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.
à partir de 21,65€ HT/mois/lecteur pour un accès 5 lecteurs à toute la plateforme
J'en profite


Articles qui pourraient vous intéresser...

Utilisez les énumérations en Python

Magazine
Marque
GNU/Linux Magazine
HS n°
Numéro
115
Mois de parution
juillet 2021
Spécialités
Résumé

Il existe dans tout langage des éléments simples, pratiques, mais qui sont pourtant peu employés par les développeurs. En Python, les énumérations se retrouvent dans cette catégorie. Je vous propose dans cet article de découvrir leur intérêt.

Gérez vos projets Python avec Poetry

Magazine
Marque
GNU/Linux Magazine
Numéro
250
Mois de parution
juillet 2021
Spécialités
Résumé

« Un peu de poésie dans un monde de brutes », voilà ce que l'on pourrait se dire en lisant le nom de ce projet… pourtant, c'est à l'usage qu'il montre ses petits muscles et il vous deviendra rapidement indispensable !

Les bizarreries de l’isolation des IPC

Magazine
Marque
GNU/Linux Magazine
Numéro
250
Mois de parution
juillet 2021
Spécialités
Résumé

Le namespace IPC (Inter-Process Communication) isole les mécanismes de communication interprocessus (sémaphores, mémoire partagée et queues de messages) hérités d’UNIX Système V et bizarrement, seulement une partie de leurs pendants POSIX.

Des bots pour Discord

Magazine
Marque
GNU/Linux Magazine
HS n°
Numéro
115
Mois de parution
juillet 2021
Spécialités
Résumé

T'as des bots, mon pote... Elles me bottent. Parfois simples lanceurs de dés ou générateurs de citations de films, les bots peuvent aussi être pensés comme de vrais outils d’automatisation. Qui n’a jamais eu envie de déployer en production avec un simple !deploy dans son outil de discussion d’équipe ? Venez découvrir comment le faire dans cet article !

Godot : tests unitaires et export Android

Magazine
Marque
GNU/Linux Magazine
Numéro
250
Mois de parution
juillet 2021
Spécialités
Résumé

Dans cette série d’articles [1] [2], nous avons découvert comment créer un jeu aussi complexe qu’un jeu d’aventure avec le moteur de jeu Godot. Dans cette dernière partie, nous verrons la finalisation du jeu : menu, tests et export.