¿Qué es la inferencia de tipos?

La inferencia de tipos es una función de TypeScript que determina automáticamente el tipo de una variable o expresión según su valor.

Por ejemplo, cuando escribe let age = 25;, TypeScript infiere que age es de tipo number.

Ventajas de la inferencia de tipos

La inferencia de tipos reduce la necesidad de declarar explícitamente los tipos, lo que hace que el código sea más limpio y fácil de escribir.

También ayuda a TypeScript a detectar errores durante el desarrollo, garantizando la seguridad de tipos sin añadir anotaciones adicionales.

Ejemplos de inferencia de tipos

A continuación se muestran algunos ejemplos: 

• let message = 'Hello';: TypeScript infiere que el tipo es string. 
• const isActive = true;: TypeScript infiere que el tipo es boolean.

La inferencia de tipos también funciona con los valores devueltos por las funciones:

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

¿Qué es el tipado contextual?

El tipado contextual se produce cuando TypeScript asigna un tipo a una variable según el contexto que la rodea.

Por ejemplo, al utilizar un detector de eventos, TypeScript infiere el tipo del parámetro event:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript knows event is a MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

Ventajas del tipado contextual

El tipado contextual mejora la experiencia de desarrollo al reducir la necesidad de añadir anotaciones de tipos manualmente.

Ayuda a detectar errores y garantiza que se utilicen los tipos correctos en contextos específicos.

Casos habituales de inferencia de tipos

TypeScript realiza inferencias en muchas situaciones, como las siguientes:

• Inicialización de variables: let name = 'John';
• Valores devueltos por funciones: function greet() { return 'Hello'; }
• Valores de arrays: let numbers = [1, 2, 3]; (se infiere como number[]).

Cuándo usar tipos explícitos

Aunque la inferencia de tipos de TypeScript es potente, hay casos en los que es preferible usar tipos explícitos:

• Cuando el tipo es ambiguo o complejo.
• En los parámetros de funciones para garantizar la claridad.
• En APIs públicas, donde los tipos explícitos mejoran la legibilidad y la facilidad de mantenimiento.

Práctica: inferencia de tipos y tipado contextual

Escriba una función que reciba dos números como entrada y devuelva su suma. ¡TypeScript inferirá los tipos por usted!

Ejemplo:

function addNumbers(a, b) {
  return a + b;
}

function addNumbers(a, b) {
  return a + b;
}

¡Excelente trabajo!

Ha aprendido cómo utiliza TypeScript la inferencia de tipos y el tipado contextual para que su código sea eficiente y seguro en cuanto a tipos. ¡Siga explorando las potentes funciones de TypeScript para mejorar sus habilidades de programación!