Realmente no presté tanta atención al desarrollo de Python 3 como me hubiera gustado, y solo me di cuenta de algunos cambios interesantes de sintaxis. Específicamente deesta respuesta SO función de anotación de parámetros:

def digits(x:'nonnegative number') -> "yields number's digits":
    # ...

Sin saber nada de esto, ¡pensé que podría usarse para implementar la escritura estática en Python!

Después de algunas búsquedas, parecía haber mucha discusión con respecto a la tipificación estática (totalmente opcional) en Python, como la que se menciona enPEP 3107y"Agregar escritura estática opcional a Python" (yparte 2)

..pero, no tengo claro hasta qué punto ha progresado esto. ¿Hay implementaciones de escritura estática, usando la anotación de parámetros? ¿Alguna de las ideas de tipo parametrizado se convirtió en Python 3?