[types] incomptabile assignment types due to invariant and type union
還沒有人認領這個 Issue。
評估
研究方向
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.
由索引模型根據 Issue 內容生成。
描述
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.
- 主要語言
- Python
- 星號
- 247
- 分支
- 66
- 平均合併
- 22 小時 47 分鐘
- 30 天內合併 PR
- 8
環境準備
這個專案沒有提供開發容器、Dockerfile 或貢獻指南，環境需要你自己搭建：先看它的 README，通用步驟見我們的新手貢獻指南。
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
typesense/typesense-python 的其他 Issue
-
`MultiSearchResponse` type does not account for union search response shape可能已有人在做 @tharropoulos 於 172 天前認領。 未關閉
難度 2/5 1-3 小時 新手友好度 78/100
typesense/typesense-python#128 ·
-
`documents.Documents.import_()` `batch_size` argument is ignored, type of `import_parameters` is missing `batch_size`可能已有人在做 @tharropoulos 於 245 天前認領。 未關閉
難度 2/5 1-2 天 新手友好度 68/100
typesense/typesense-python#124 ·
-
難度 1/5 1 小時以內 新手友好度 68/100
typesense/typesense-python#100 ·
-
難度 3/5 1-2 天 新手友好度 35/100
typesense/typesense-python#122 · 3 則留言 ·
-
[Bug] - DeprecationWarning on instantiation of Client可能已有人在做 @tharropoulos 於 266 天前認領。 未關閉
難度 3/5 1-2 天 新手友好度 55/100
typesense/typesense-python#114 · 8 則留言 ·
查看 typesense/typesense-python 的全部 Issue
相似的 Issue
-
enhancement
難度 2/5 1-3 小時 新手友好度 72/100
fossasia/visdom-dev#77 ·
維護者通常 4 天內回覆
-
難度 2/5 1-3 小時 新手友好度 82/100
aws-cloudformation/cfn-lint#4890 ·
維護者通常 2 天內回覆
-
難度 2/5 1-3 小時 新手友好度 82/100
volcengine/OpenViking#6521 ·
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 84/100
-
bug
難度 2/5 1-3 小時 新手友好度 77/100
AstrBotDevs/AstrBot#10720 ·
維護者通常 1 天內回覆