Typeclasses with several methods
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
Hướng nghiên cứu
Không có tệp, kiểm thử hay entry point nào được nêu tên. Hãy bắt đầu bằng cách lần theo cách cơ chế typeclass hiện tại biểu diễn và liên kết các triển khai, sau đó xác định cách một Python Protocol với nhiều phương thức, bao gồm classmethod, nên được hỗ trợ. Công việc được xem là hoàn tất khi dạng Functor được đề xuất hoạt động và việc liên kết triển khai của nó được định nghĩa cũng như được bao phủ bởi các kiểm thử.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
There's a common use-case when we need to create a type-class with several methods. Like:
class Functor(Protocol[T]):
def map(self, function: Callable[[T], Functor[V]]) -> Functor[V]:
...
@classmethod
def from_value(cls, inner_value: V) -> Functor[V]:
...
Currently, there's no way we can do that.
I propose something like this:
@typeclass
class Functor(Protocol[T]):
def map(self, function: Callable[[T], Functor[V]]) -> Functor[V]:
...
@classmethod
def from_value(cls, inner_value: V) -> Functor[V]:
...
I am not sure how to bound it to the actual implementation.
- Ngôn ngữ chính
- Python
- Star
- 730
- Fork
- 30
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
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.
Issue khác của dry-python/classes
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
dry-python/classes#496 ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
dry-python/classes#494 ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 52/100
dry-python/classes#492 · 2 bình luận ·
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
dry-python/classes#481 · 5 bình luận · 4 reaction ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
dry-python/classes#386 ·
Tất cả issue của dry-python/classes
Issue tương tự
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 90/100
learningequality/ricecooker#747 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
BSData/horus-heresy-3rd-edition#3171 ·
-
enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
run-llama/llama_index#23199 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
KhronosGroup/glTF-Blender-IO#2769 ·