Cannot combine NewType and Literal
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
(This seems related to, but different from, #2448.)
Feature
Allow the creation of a NewType derived from Literal.
Pitch
Currently you can define the following types:
Foo = Literal["foo"]
Bar = NewType("Bar", str)
But you can't do this:
Baz = NewType("Baz", Foo)
If you attempt to, Python won't throw any error, but mypy will complain:
error: Argument 2 to NewType(...) must be subclassable
This prevents a strict definition of a literal-based type: you either have to accept all values of the literal's type or you need to lose the type check benefits of NewType.
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
Comienza rastreando cómo mypy valida el segundo argumento de NewType y cómo representa los tipos Literal, usando el ejemplo Baz = NewType("Baz", Foo) y el error de subclasificación informado. Define el comportamiento esperado de comprobación de tipos para un NewType derivado de Literal y, después, añade cobertura que muestre la definición aceptada y sus ventajas en la comprobación de tipos.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100