Daniel Roy Greenfeld : Déballez les arguments de mots-clés

Les annotations de type pour les appelables avec *args et kwargs se concentrent sur les types de contenu à l'intérieur des conteneurs. Python impose que les clés de kwargs doivent être des chaînes de caractères, levant une erreur de type sinon. L'opérateur de déballage permet de donner des indices de type pour les arguments clés suivant un modèle spécifique. Cependant, les annotations de type sont principalement destinées à l'analyse statique par les vérificateurs de type, et non à la vérification à l'exécution. Par conséquent, les types d'arguments incorrects ou les arguments clés manquants/supplémentaires ne provoqueront pas d'erreurs à l'exécution. Les évaluations de type à l'exécution de Python reposent sur des fonctions comme isinstance et issubclass. Le module de typage est utilisé par des outils externes tels que les vérificateurs de type et les environnements de développement intégré (IDE) pour l'analyse statique. Le déballage peut être utilisé pour donner des indices de type sur le contenu de kwargs en utilisant TypedDict. Les erreurs à l'exécution ne se produiront pas lorsque l'indice de type est incorrect. Le système de typage de Python est distinct des mécanismes de vérification de type à l'exécution.