Anotaciones de Tipo en TypeScript

Las anotaciones de tipo son una característica de TypeScript que permite a los programadores asegurar que los parámetros de una función coincidan con el tipo esperado. Esto se hace mediante la adición de un tipo de dato después del nombre de una variable o parámetro utilizando el operador :.

Por ejemplo, si quieres crear una función que acepte dos números y devuelva su suma, podrías definirla de la siguiente manera en TypeScript:

function suma(a: number, b: number): number {
  return a + b;
}

En este caso, a y b son parámetros de la función suma, y ambos tienen que ser de tipo number. De igual modo, el tipo de dato del valor que la función devuelve está marcado como number. Si se intenta utilizar la función suma con argumentos que no sean números, TypeScript generará un error.

Las anotaciones de tipo en TypeScript no sólo se limitan a tipos primitivos (como string, number, y boolean), sino que también pueden utilizarse con tipos más complejos como arrays, objetos, o incluso tipos personalizados.

Aquí tienes un ejemplo de cómo utilizar anotaciones de tipo con un array:

function longitudes(arr: string[]): number[] {
  return arr.map(item => item.length);
}

En este caso, se espera que el parámetro arr sea un array de strings. La función longitudes devuelve otro array, pero de números, que son las longitudes de las cadenas individuales del array de entrada.

Las anotaciones de tipo proporcionan una serie de beneficios. Ayudan a evitar errores de tipo en tiempo de compilación, mejoran la legibilidad del código, y facilitan la escritura de herramientas de desarrollo como el autocompletado de código.

Si bien TypeScript es capaz de inferir tipos en ciertas situaciones, la práctica recomendada es usar anotaciones de tipo para asegurarse de que los datos siempre son del tipo esperado.