OK, es mas legible el código pero no evita que metamos bugs en el código. Como humanos vamos a seguir cometiendo errores y el compilador/intérprete no podrá hacer nada por nosotros.
Si no se usa alguna herramienta como mypy , no tiene mucho sentido definir el tipo de una variable si se le puede asignar cualquier cosa.