# Tipado fuerte

Un lenguaje de programación es fuertemente tipado si no se permiten violaciones de los tipos de datos, es decir, dado el valor de una variable de un tipo concreto, no se puede usar como si fuera de otro tipo distinto a menos que se haga una conversión. No hay una única definición de este término. Un lenguaje que se dice que no está tipado se refiere a que no está fuertemente tipado.

## 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:
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:
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" si esta fuese de un tipo incompatible con float. Es decir, si X fuese de tipo entero, el compilador produce una conversión de int a float, y permite la llamada typecasting. En cambio si fuese de otro tipo, como puntero a char(char *), para el que no existe una conversión implícita a float, el compilador detectará el conflicto y producirá un error.

### 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:
Indica al compilador 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 al momento de ejecutarlo.

## Confusión común del concepto

Es habitual que el lenguaje de programación C se considere fuertemente tipado, lo cual es relativamente incorrecto. Los compiladores de C nos avisan cuando los tipos no se corresponden, lo que puede ser fácilmente resuelto realizando un cast de la variable en cuestión. Sin embargo, tomando de nuevo la definición, un lenguaje es fuertemente tipado "si no se permiten violaciones de los tipos de datos", pero en el caso de C sí que se permite esto, dado que al efectuar un cast no estamos ante una conversión de tipo (no hay variación alguna de la representación del dato en memoria) sino ante un "mensaje" al compilador.
En la programación a bajo nivel de C son comunes violaciones de tipo con las que el programador debe ser especialmente cuidadoso.
Un ejemplo de lenguaje fuertemente tipado, como es Python, no permite violación de tipos. Esto se puede ver tratando de ejecutar una suma entre un string y un int.

## Lenguajes no tipados

Los lenguajes de programación no tipados no controlan los tipos de las variables que declaran, de este modo, es posible usar variables de cualquier tipo en un mismo escenario. Por ejemplo, una función puede recibir como parámetro un valor entero, cadena de caracteres, flotante, etc.
No hay que confundir el término con los lenguajes de tipos dinámicos, en los que los tipos de las variables se deciden en tiempo de ejecución, si bien es cierto que muchos lenguajes de programación de tipos dinámicos (en los que no se declaran los tipos de datos) son también no tipados.
No son necesarias las conversiones de tipos, por lo tanto el siguiente ejemplo es correcto

## Ejemplos de lenguajes fuertemente tipados

* Haskell
* ML
* C#
* DAX
* Ada
* Modula-2
* Pascal
* Java
* C++
* Fortran
* Objective-C
* Go
* Rust
* Perl 6
* TypeScript
* Lua
* Dart
* Python

## Ejemplos de lenguajes no tipados

* Lisp
* Perl
* PHP
* Prolog
* Basic
* JavaScript
* VFP
* Datos: Q991202