Test suite for backends?
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
- Loại issue
- Tính năng
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- python
- Lĩnh vực
- developer-experience, testing
Hướng nghiên cứu
Bắt đầu với đoạn snippet typing Python được đề xuất và xác định cách một trình kiểm tra kiểu tĩnh sẽ xác minh nó. Làm rõ với các maintainer phạm vi tuân thủ backend mong muốn; “done” phải có nghĩa là đã thống nhất thiết kế bộ test và xác định được cách để các backend sử dụng nó.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Do we want to add a typing test suite that backends can vendor into their own code to verify that they're compliant with our protocols? Wouldn't need to be too long. Just something like:
# Typing test for Array API version 1234.
import jax.numpy as xp
import array_api_typing as xpt
def f(xp: xpt.ArrayNamespace) -> None:
pass
f(xp) # Test that xp is compliant.
# etc.
They can copy that snippet into their tests and verify it using the static type checker. They will need to also ensure that they have array-api-typing==1234 as a test requirement.
- Ngôn ngữ chính
- Python
- Star
- 27
- Fork
- 6
- 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
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
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 data-apis/array-api-typing
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 38/100
data-apis/array-api-typing#70 · 7 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
data-apis/array-api-typing#59 · 4 bình luận · 1 reaction ·
-
CI + lefthook Đang mở👷 CI
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
data-apis/array-api-typing#40 · 1 reaction ·
-
Refactor Test Suite Đang mở✅ tests
data-apis/array-api-typing#25 · 1 bình luận · 1 reaction · 1 người được giao ·
-
Populate various protocols Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
data-apis/array-api-typing#23 · 6 bình luận ·
Tất cả issue của data-apis/array-api-typing
Issue tương tự
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
xinnan-tech/xiaozhi-fde-talk#263 ·
-
rules
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
huggingface/Repo2RLEnv#163 · 1 bình luận ·
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 95/100
huggingface/sentence-transformers#4074 ·
-
comp/dashboard invalid P3
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
NousResearch/hermes-agent#121143 ·