Lenguaje de programación fuertemente tipado
De Wikipedia, la enciclopedia libre
Un lenguaje de programación es fuertemente tipado si el compilador comprueba que no se violan los tipos de datos. No hay una única definición de este término. Un lenguaje que no es fuertemente tipado se dice que no está tipado.
La mayoría de los lenguajes imperativos son fuertemente tipados mientras que los lenguajes declarativos no suelen estar tipados.
Tabla de contenidos |
[editar] Explicación detallada
Los lenguajes de programación suelen contar con un sublenguaje de tipos para declarar variables. Este sublenguaje instruye al compilador respecto al tipo de valores que puede adoptar cada variable. Por ejemplo:
int X;
en el Lenguaje de programación C significa "la variable X adopta valores numéricos enteros".
Estos tipos también se declaran para todos los argumentos de procedimientos o subrutinas. Por ejemplo:
float subrutina(float Parametro)
{
return Parametro + 1.5;
}
Este procedimiento acepta un número en coma flotante (número real) y le suma 1,5.
En los lenguajes fuertemente tipados, el compilador no permite que se use una variable como parámetro de un procedimiento si sus tipos no coinciden exactamente. En el ejemplo anterior, no sería posible invocar la subrutina con la variable "X":
subrutina(X)
ya que el compilador generaría un error. El motivo es que este tipo de expresiones suelen ser debidas a errores o despistes del programador.
[editar] Conversión de tipos (typecasting)
Cuando un lenguaje es fuertemente tipado, el programador debe explícitamente convertir un tipo de datos en otro. Esto se conoce como conversión o moldeado de tipos (typecasting) y también debe estar soportado por el compilador. Por ejemplo:
subrutina((float)X)
Indica al copilador que no estamos cometiendo un error y realmente deseamos convertir la variable "X" (entera) en una variable de coma flotante para invocar a "subrutina".
Cada lenguaje de programación puede ser más o menos tipado según en que casos exige el typecasting. Por ejemplo, la conversión automática entre entero y coma flotante podría ser admitida, pero no al contrario. Si no es factible la conversión entre un tipo u otro, el compilador también emitirá un error de compilación.
[editar] Lenguajes no tipados
En los lenguajes no tipados no suele ser necesaria la declaración de variables, o bien, dicha declaración no incluye el tipo. Por ejemplo:
var X;
indica al compilador que "X" es una variable pero no se indica de qué tipo.
Esto significa que no es necesario hacer conversiones de tipo. Se supone que el compilador será capaz de hacerlo en todos los casos. Pero esto no es realista. Por ejemplo, no es posible convertir una cadena de caracteres en un número. En estos casos, el programa fallará en tiempo de ejecución, pero se compilará correctamente.
