singledispatch and TypeVar return type
Đang mở
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Python
- Star
- 5.1k
- Fork
- 2.1k
- Merge trung bình
- 1 ngày 19 giờ
- Pull request đã merge (30 ngày)
- 82
Mô tả
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.
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Bắt đầu bằng cách tái hiện ví dụ với typing singledispatch của Python và kiểm tra các định nghĩa typeshed liên quan. Xác định TypeVar trong kiểu trả về được xử lý như thế nào; hoàn thành khi các lệnh gọi với các kiểu đối số khác nhau cho thấy các kiểu trả về List được chuyên biệt hóa tương ứng.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- python
- Lĩnh vực
- tooling
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 32/100