Test suite for backends?
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- python
- Área
- developer-experience, testing
Línea de trabajo
Empieza con el fragmento de tipado de Python propuesto y determina cómo lo verificaría un comprobador de tipos estático. Aclara con los mantenedores el alcance deseado del cumplimiento de los backends; «done» debería significar que existe un diseño acordado de la suite de pruebas y una forma definida para que los backends la utilicen.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Python
- Estrellas
- 27
- Forks
- 6
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de data-apis/array-api-typing
-
Dificultad 3/5 1-2 días Aptitud para principiantes 38/100
data-apis/array-api-typing#70 · 7 comentarios ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
data-apis/array-api-typing#59 · 4 comentarios · 1 reacción ·
-
CI + lefthook Abierto👷 CI
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
data-apis/array-api-typing#40 · 1 reacción ·
-
Refactor Test Suite Abierto✅ tests
data-apis/array-api-typing#25 · 1 comentario · 1 reacción · 1 asignado ·
-
Populate various protocols Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
data-apis/array-api-typing#23 · 6 comentarios ·
Todos los issues de data-apis/array-api-typing
Issues similares
-
[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell Abiertoarea: harness bug status: needs-triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
Human-Agent-Society/reef#625 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 80/100
learningequality/kolibri#15351 · 2 comentarios ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Name consistency Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
eellak/triplestore#65 · 1 comentario ·