Add typing stubs (`.pyi` files) for PyO3-generated Python definitions
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 38/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Tranquilo
- Área
- developer-experience
Línea de trabajo
Comienza localizando las definiciones de Rust expuestas a través de PyO3 y comprobando cómo se representan actualmente las definiciones de Python generadas. Revisa PyO3 issue 5137 y la configuración existente de comprobación de tipos; después, define qué tipos y firmas exportados deben cubrir los stubs. Se considera terminado cuando los stubs describen los bindings relevantes sin dejar esos tipos como Any y están documentados de forma que puedan mantenerse junto con las definiciones de Rust.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Even with https://github.com/channable/opsqueue/issues/8 resolved, type checkers will treat types that are exclusively defined via C bindings as Any. Typing stubs would fix this, but PyO3 currently does not generate them (https://github.com/PyO3/pyo3/issues/5137). Manually maintaining them would be annoying because it'd have to be kept in sync with the Rust definitions of the types, but it could still be valuable as a temporary solution.
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 2
- 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 channable/opsqueue
-
Make `submissions_canceled` and `add_chunks_done_to_submissions_failed` migrations bidirectional Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 66/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
Todos los issues de channable/opsqueue
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
state:needs triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
zed-industries/zed#64680 · 2 comentarios ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
RustPython/RustPython#8802 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
TheLarkInn/aipm#2390 ·