Test suite for backends?
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- python
- Ambito
- developer-experience, testing
Direzione di ricerca
Inizia con lo snippet di tipizzazione Python proposto e determina come verrebbe verificato da un type checker statico. Chiarisci con i maintainer l’ambito desiderato della conformità dei backend; «done» dovrebbe significare che esistono un design concordato della suite di test e un modo definito per consentirne l’uso da parte dei backend.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- Python
- Stelle
- 27
- Fork
- 6
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di data-apis/array-api-typing
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
data-apis/array-api-typing#70 · 7 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
data-apis/array-api-typing#59 · 4 commenti · 1 reazione ·
-
CI + lefthook Aperta👷 CI
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
data-apis/array-api-typing#40 · 1 reazione ·
-
Refactor Test Suite Aperta✅ tests
data-apis/array-api-typing#25 · 1 commento · 1 reazione · 1 assegnatario ·
-
Populate various protocols Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
data-apis/array-api-typing#23 · 6 commenti ·
Tutte le issue di data-apis/array-api-typing
Issue simili
-
area: harness bug status: needs-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Human-Agent-Society/reef#625 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 80/100
learningequality/kolibri#15351 · 2 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Name consistency Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
eellak/triplestore#65 · 1 commento ·