¿Qué es el tipado dinámico en Python?

El tipado dinámico significa que las variables pueden cambiar de tipo durante la ejecución y que el tipo se asocia al valor, no a la variable. Por ejemplo: x = 5; x = 'hola' es válido en Python. Esto contrasta con lenguajes de tipado estático como Java o C++. El tipado dinámico ofrece flexibilidad y concisión, pero puede permitir errores de tipo que solo se detectan en tiempo de ejecución, lo que motivó la introducción de anotaciones de tipo opcionales.