¿En qué se diferencian la tipificación estática y dinámica en los lenguajes de programación?

La tipificación estática significa que los tipos de variables se definen y verifican durante la compilación. Esto permite detectar errores de tipo antes de ejecutar el programa. Por ejemplo, en Swift o C++, el tipo de variable se especifica explícitamente o se infiere por el compilador, y no se puede cambiar.

La tipificación dinámica significa que los tipos de variables se determinan en tiempo de ejecución. Esto ofrece mayor flexibilidad, pero los errores de tipo solo pueden aparecer durante la ejecución. Ejemplos de lenguajes con tipificación dinámica son Python y JavaScript.

Ejemplo en Swift (tipificación estática):

var number: Int = 10
number = "cadena" // Error de compilación

Ejemplo en Python (tipificación dinámica):

number = 10
number = "cadena"  # Funciona sin errores