python / python/typing

[spec] conceptual foundation and glossary entries for variance

Ouverte
#1,797 0 commentaires 3 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

topic: typing spec
Langage dominant
Python
Étoiles
1.8k
Forks
302
Merge moyen
23 h
PR mergées (30 j)
8

Description

Currently the section on variance says:

A longer introduction to these concepts can be found on Wikipedia and in PEP 483; here we just show how to control a type checker’s behavior.

Now that we have a core concepts section in the spec, it would be good for the spec to also derive the rationale for variance from those core concepts, rather than deferring to the (ten-year-old and not updatable) PEP 483.

We should also add glossary entries for variance terminology: invariant, covariant, contravariant, and variance.

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par la section de la spécification consacrée à la variance et par la section existante sur les concepts fondamentaux, puis comparez la justification présentée dans PEP 483 et dans l’article Wikipédia mis en lien. La tâche est terminée lorsque la section sur la variance déduit sa justification des concepts fondamentaux et que le glossaire définit invariant, covariant, contravariant et variance.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
python
Domaine
documentation
Type d'issue
Documentation
Difficulté
5/5
Temps estimé
Plus d'une semaine
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
35/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.