python / python/typing

Spec: `Final` section could use better definition for `Final` vs. `Final[X]`

Abierto Apto para principiantes
#2,356 2 comentarios 1 reacción 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

topic: typing spec
Lenguaje dominante
Python
Estrellas
1.8k
Forks
302
Merge medio
23 h
PR fusionados (30 d)
8

Descripción

Came up in #2353: Currently, the syntax section for Final uses the following definitions:

Final may be used in one of several forms:

  • With an explicit type, using the syntax Final[<type>] [...]
  • With no type annotation. [...]

As @carljm points out, these definitions are not great. I suggest to give them better names and use those consistently in the spec (and elsewhere). Carl used "bare" for the latter case, which I like. Maybe "explicitly typed" for the former? "When using a bare Final ..." or "When using an explicitly typed Final ..."

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Empieza por la sección de sintaxis de la especificación para Final y busca en la especificación y en la documentación relacionada las descripciones existentes de Final y Final[X]. Se considerará terminado cuando las dos formas tengan definiciones claras y con nombres coherentes que utilicen términos como «sin tipo» y «tipado explícitamente», sin que queden formulaciones contradictorias en ningún otro lugar.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
python
Área
documentation
Tipo de issue
Documentación
Dificultad
2/5
Tiempo estimado
1-3 horas
Estado de actividad
Activo
Claridad
Bastante claro
Aptitud para principiantes
72/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.