Tipado

Tipado es un término usado en ciencias de la computación para describir cómo un lenguaje de programación maneja los tipos de datos de las expresiones y de las variables. En un sistema tipado, cada valor pertenece a un tipo y las operaciones deben respetar esas asignaciones. El concepto ayuda a detectar errores y a facilitar la comprobación de programas.

Existen varios enfoques de tipado. El tipado estático verifica y asigna los tipos en tiempo de compilación, de modo que los posibles errores de tipo se capturan antes de ejecutar el programa. En el tipado dinámico, las comprobaciones se hacen en tiempo de ejecución y las variables pueden tomar valores de diferentes tipos a lo largo de su vida. Muchos lenguajes combinan ambas ideas a través del tipado gradual o tipado híbrido.

Dentro del tipado se distinguen también criterios de compatibilidad. El tipado nominal verifica la compatibilidad de tipos principalmente por su nombre, mientras que el tipado estructural considera la compatibilidad basada en la forma o estructura de los valores. En cuanto a la rigidez de las reglas, el tipado fuerte impone restricciones estrictas a las conversiones entre tipos, mientras que el tipado débil permite conversiones implícitas más fácilmente.

La inferencia de tipos es otra característica relevante: algunos lenguajes pueden deducir los tipos de expresiones sin necesidad de explícitos, reduciendo la necesidad de anotaciones. Otros requieren especificaciones de tipo por parte del programador.

Ventajas y desventajas: el tipado estático puede detectar errores temprano y facilitar la optimización, pero puede exigir mayor boilerplate. El tipado dinámico favorece la flexibilidad y el desarrollo rápido, a costa de posibles errores en tiempo de ejecución.

Ejemplos: Java, C# y Haskell emplean tipado estático; Python y JavaScript son dinámicos; TypeScript añade tipado estático a JavaScript.