singledispatch and TypeVar return type
Ouverte
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 5.1k
- Forks
- 2.1k
- Merge moyen
- 1 j 19 h
- PR mergées (30 j)
- 82
Description
It seems that singledispatch typing is not very accurate. In particular, it does not respect TypeVar used in the return type:
T = TypeVar("T")
@singledispatch
def my_fun(
val: T,
) -> List[T]:
return list(val)
my_fun(5)
my_fun("Ĝis la revido!")
Here the type of the returned value would always be revealed as List[T] instead of different types for different inputs.
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par reproduire l’exemple avec le typage singledispatch de Python et inspectez les définitions pertinentes de typeshed. Déterminez comment le TypeVar dans le type de retour est traité ; le travail est terminé lorsque des appels avec différents types d’arguments révèlent des types de retour List spécialisés en conséquence.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- tooling
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 32/100