variance of `functools.py`'s `_T` TypeVar
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ả
The TypeVar _T in functools.py is defined to be invariant, but is used mostly as the return type of Callables or in similar situations (and not in the argument types, except in reduce, total_ordering and cmp_to_key).
I think it should be replaced by some covariant TypeVar where applicable (like the return type of Callable).
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
Xem xét functools.py và truy vết từng lần sử dụng _T TypeVar, phân biệt các lần sử dụng cho kiểu trả về với các lần sử dụng cho kiểu đối số trong reduce, total_ordering và cmp_to_key. Xác định nơi tính đồng biến là hợp lệ mà không thay đổi quan hệ giữa các đối số; hoàn thành khi các lần sử dụng phù hợp dùng đúng phương sai và các stub bị ảnh hưởng vẫn đúng về kiểu.
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
- Tái cấu trúc
- Độ 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
- 38/100