Una breve explicación e introducción a que son los lenguajes de tipado estático y los lenguajes de tipado dinámico. El tipado estática y el tipado dinámica son una de las grandes preocupaciones existentes en el diseño de un lenguaje de programación.
Para empezar, mencionar que “tipado” en términos de escritura estática o dinámica se refiere a “escribir” en cuanto al tipo de datos, no al proceso de presionar teclas de un teclado.
Aunque esto puede sonar bastante obvio, puede que no lo sea para todo el mundo. “Estático” y “dinámico” son los tipos de “tipado / escritura” que vamos a ver a continuación.
¿Qué es un lenguaje de tipado estático?
Los lenguajes de programación de tipo estático son aquellos en los que no es necesario definir las variables antes de su uso. Esto implica que la tipificación estática tiene que ver con la declaración explícita (o inicialización) de las variables antes de que se empleen.
Java es un ejemplo de lenguaje de tipo estático; C y C ++ también son lenguajes de tipo estático. Tenga en cuenta que en C (y también en C ++), las variables se pueden convertir en otros tipos, pero no se convierten; simplemente los lee asumiendo que son de otro tipo.
El tipado estática no implica que tenga que declarar todas las variables antes de usarlas; las variables pueden inicializarse en cualquier momento o punto del código, teniendo en cuenta que deben encontrarse declaradas antes del uso de las mismas.
¿Qué es un lenguaje de tipado dinámico?
Los lenguajes de programación de tipo dinámico son aquellos lenguajes en los que las variables deben definirse necesariamente antes de su uso.
Esto implica que los lenguajes de tipo dinámico no requieren la declaración explícita de las variables antes de que se utilicen. Python y PHP, son ejemplos de lenguajes de programación de tipado dinámico.
Otra analogía, entre tipado dinámico y estático
Mucha gente define el tipado estático y el tipado dinámico, respecto al punto en el que se comprueban los tipos de las variables.
Usando esta analogía, los lenguajes de tipo estático son aquellos en los que la verificación de tipos se realiza en tiempo de compilación, mientras que los lenguajes de tipo dinámico son aquellos en los que la verificación de tipos se realiza en tiempo de ejecución.