[types] incomptabile assignment types due to invariant and type union
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Accessibilité débutants
- 35/100
Piste de recherche
Start with the type definitions in src/typesense/types/collection.py around lines 226-232, then trace the definitions used by CollectionUpdateSchema and RegularCollectionFieldSchema. Reproduce the reported assignment with a type checker and verify that a list containing only RegularCollectionFieldSchema is accepted without requiring reverse engineering of the internal union type.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Instead of using type unions (like used here https://github.com/typesense/typesense-python/blob/master/src/typesense/types/collection.py#L226-L232), the library should use bound typevar like:
a: list[int | str]
b: list[int] = [1]
a = b # failure: incompatible assignment due to invariant
from typing import TypeVar
ListT = TypeVar("ListT", bound=int | str)
c: list[ListT]
d: list[int] = [1]
e: list[str] = ["a"]
f: list[int | str] = [1, "a"]
c = d # success
c = e # success
c = f # success
The type checkers are really unhappy with the way that the types are currently formulated. I should be able to supply a list of just RegularCollectionFieldSchema to CollectionUpdateSchema. Instead it errors due to the type construction. I shouldn't have to reverse engineer the internal union type to satisfy the type checker.
- Langage dominant
- Python
- Étoiles
- 247
- Forks
- 66
- Merge moyen
- 22 h 47 min
- PR mergées (30 j)
- 8
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
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.
Autres issues de typesense/typesense-python
-
`MultiSearchResponse` type does not account for union search response shapePeut-être pris @tharropoulos l’a pris il y a 172 jours. Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
typesense/typesense-python#128 ·
-
`documents.Documents.import_()` `batch_size` argument is ignored, type of `import_parameters` is missing `batch_size`Peut-être pris @tharropoulos l’a pris il y a 245 jours. Ouverte
Difficulté 2/5 1-2 jours Accessibilité débutants 68/100
typesense/typesense-python#124 ·
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 68/100
typesense/typesense-python#100 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
typesense/typesense-python#122 · 3 commentaires ·
-
[Bug] - DeprecationWarning on instantiation of ClientPeut-être pris @tharropoulos l’a pris il y a 266 jours. Ouverte
Difficulté 3/5 1-2 jours Accessibilité débutants 55/100
typesense/typesense-python#114 · 8 commentaires ·
Toutes les issues de typesense/typesense-python
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 84/100
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 77/100
AstrBotDevs/AstrBot#10720 ·
Les mainteneurs répondent en général sous 1 jour
-
fix(xiaomi): curated picker list still offers six ids that return 400 (plan-limited vs retired)Ouvertecause/upstream comp/cli P2 provider/other tool/file type/bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
NousResearch/hermes-agent#143900 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 1-3 heures Accessibilité débutants 85/100
WLAN-Pi/wlanpi-profiler#341 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 77/100
Les mainteneurs répondent en général sous 1 jour