Estoy haciendo pruebas con los tipos en Python, y se ve que sólo ayudan al linter y poco más. En tiempo de ejecución, tal y como dice la especificación, no aportan gran cosa. Yo puedo poner algo como:
a:str=5
Y Python me trata la variable como un entero sin ningún problema.

@jmdaweb Hay librerías para que esos tipos se conviertan en algo parecido a un tipado fuerte, añadiendo decoradores y cosas así que te sacan errores en tiempo de ejecución si los tipos no coinciden