.PYI Extension de fichier
Définition d’interface Python
| Développeur | Python Software Foundation |
| Popularité |
4,2 | 5 Votes |
Qu'est-ce qu'un fichier PYI ?
Un fichier PYI est un squelette de code utilisé pour spécifier les indications de type d’un module Python. Les vérificateurs de types Python peuvent lire les fichiers PYI et les utiliser pour avertir les développeurs d’éventuelles incompatibilités de types. Les fichiers PYI utilisent la même syntaxe que les modules Python ordinaires ; ils sont généralement stockés à côté du module pour lequel ils contiennent des indications de type.
Plus d'informations
Comme Python est un langage de programmation au typage dynamique, l’interpréteur Python effectue la vérification des types uniquement lors de l’exécution du code. Toutefois, certains éditeurs de code Python permettent aux développeurs de définir et de vérifier manuellement les types d’un module pendant le codage, à l’aide de fichiers PYI. Ainsi, les développeurs peuvent détecter et corriger les erreurs de type avant d’essayer d’exécuter leur programme.
Par exemple, JetBrains PyCharm permet aux développeurs de vérifier les types à l’aide de fichiers PYI. Si le code d’un développeur crée une incompatibilité entre les types réels et les types définis d’un module, PyCharm l’en avertit.
Comment ouvrir un fichier PYI
Vous pouvez ouvrir et modifier un fichier PYI dans n’importe quel éditeur de texte ou de code source. Les éditeurs de code source, tels que Microsoft Visual Studio Code (multiplateforme), Sublime Text (multiplateforme) et JetBrains PyCharm (multiplateforme), proposent des outils pratiques de coloration syntaxique et de modification du code qui facilitent la consultation et la modification des fichiers PYI.