Discussion: Microsoft dévoile en open source Pyright, un vérificateur de type statique
28/03/2019, 13h24 #1
Points : 18 974
pour le langage de programmation Python
Microsoft a dévoilé cette semaine un vérificateur de type statique pour le langage de programmation Python du nom de Pyright. Selon la description faite par la firme, Pyright serait plus rapide et plus performant que les autres outils de vérification de type statiques qui existent déjà comme Mypy et d'autres. L’outil est open source, donc vous pouvez avoir accès à son code source ou le télécharger sur la page GitHub de Microsoft. Dans sa description, Microsoft n’a pas hésité à affirmer que Pyright est environ cinq fois plus rapide que les autres outils de vérification de type existant du langage Python.
Il justifie cette affirmation par le fait que Pyright est écrit en TypeScript et ne nécessite l’installation d’aucun environnement Python ou de packages tiers importés. Il est donc totalement indépendant de l’environnement Python lui-même. Selon Microsoft, il peut fonctionner en mode "surveillance" et effectuer des mises à jour incrémentielles rapides lorsque les fichiers sont modifiés.
Le vérificateur de type statique Pyright est essentiellement conçu pour être utilisé comme un plug-in de Visual Studio Code, mais Microsoft explique que vous pouvez l’utiliser également comme outil de ligne de commande autonome avec de multiples options. Lorsqu’il est utilisé en tant que plug-in de Visual Studio Code, Pyright offre des fonctionnalités de service linguistique telles que des infobulles qui affichent les informations de type lorsque vous les survolez, des liens vers les définitions de symboles et d’autres encore.
Pyright prend en charge toutes les règles de type principales et la syntaxe liée aux types actuellement disponibles en Python. De plus, Microsoft indique que Pyright inclut une copie récente des stubs de type stdlib de Typeshed. Il peut être configuré pour utiliser une autre copie (peut-être plus récente ou modifiée) des stubs de type Typeshed. Bien entendu, explique toujours la firme, cela fonctionne également avec les fichiers de raccord de type personnalisé faisant partie de votre projet.
À la question de savoir quelle est la différence entre Pyright et le plugin Python pour Visual Studio Code, Microsoft a répondu que le plugin Python de Visual Studio Code est l'extension de support officielle de Python pour l’éditeur. Il prend en charge un large éventail de fonctionnalités, notamment le débogage, les plugins linter, les plugins de vérification de type et bien plus encore. Pyright quant à lui, se concentre entièrement sur la vérification de type. C'est un projet parallèle sans équipe dédiée, explique Microsoft.
Tout ceci dit, Microsoft a mis en garde qu’à l’heure actuelle, Pyright a été conçu pour prendre en charge uniquement les versions 3.0 ou ultérieure du langage de programmation Python. « Il n'est actuellement pas prévu de prendre en charge les anciennes versions », a précisé Microsoft. Pour finir, Microsoft a indiqué que ses ingénieurs continuent toujours de travailler sur Pyright et qu’il existe encore de nombreuses autres fonctionnalités qui ne sont pas terminées ou qui ne sont pas encore implémentées. Il sollicite donc l’aide de la communauté open source pour l’accompagner dans son travail.
Que pensez-vous de ce vérificateur de type statique pour Python ?
29/03/2019, 09h14 #2
Je viens de regarder les sources, ça à l'air clair. Même si je n'en aurais pas l'usage immédiatement, c'est chouette d'avoir mis ce logiciel en OpenSource.
(Mais du coup, n'est-ce pas un peu triste d'avoir pyright sans copyright?)