More principled solution for universal quantificatoin of non-Callable types
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Currently we support a type like forall T . Foo[[x: T], T] by allowing to capture a generic callable with a ParamSpec. This is arguably hacky, and may fail in unpredictable ways. Also such types are not user-definable. At some point in distant future we may want to add a support for defining such types.
Guía de contribución
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.
Línea de trabajo
No se nombran archivos, pruebas ni puntos de entrada. Empieza rastreando el manejo existente, basado en ParamSpec, de la cuantificación universal sobre tipos no Callable y determina después el diseño necesario para una compatibilidad fundamentada y definible por el usuario; el trabajo debería darse por terminado cuando incluya un enfoque establecido y el alcance de implementación correspondiente.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- devtools
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Estado de actividad
- Estancado
- Claridad
- Necesita aclaración
- Aptitud para principiantes
- 25/100