O que é a inferência de tipos?

A inferência de tipos é um recurso do TypeScript que determina automaticamente o tipo de uma variável ou expressão com base em seu valor.

Por exemplo, quando você escreve let age = 25;, o TypeScript infere que age é do tipo number.

Benefícios da inferência de tipos

A inferência de tipos reduz a necessidade de declarar tipos explicitamente, tornando seu código mais limpo e fácil de escrever.

Ela também ajuda o TypeScript a detectar erros durante o desenvolvimento, garantindo a segurança de tipos sem adicionar anotações extras.

Exemplos de inferência de tipos

Veja alguns exemplos: 

• let message = 'Hello'; - O TypeScript infere o tipo como string. 
• const isActive = true; - O TypeScript infere o tipo como boolean.

A inferência de tipos também funciona com valores retornados por funções:

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

O que é a tipagem contextual?

A tipagem contextual ocorre quando o TypeScript atribui um tipo a uma variável com base no contexto ao seu redor.

Por exemplo, ao usar um ouvinte de eventos, o TypeScript infere o tipo do 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);
});

Benefícios da tipagem contextual

A tipagem contextual melhora a experiência de desenvolvimento ao reduzir a necessidade de anotações manuais de tipos.

Ela ajuda a detectar erros e garante que você esteja trabalhando com os tipos corretos em contextos específicos.

Situações comuns de inferência de tipos

O TypeScript realiza inferências em muitas situações, como:

• Inicialização de variável: let name = 'John';
• Valores retornados por funções: function greet() { return 'Hello'; }
• Valores de matrizes: let numbers = [1, 2, 3]; (inferido como number[]).

Quando usar tipos explícitos

Embora a inferência de tipos do TypeScript seja poderosa, há casos em que os tipos explícitos são melhores:

• Quando o tipo é ambíguo ou complexo.
• Para parâmetros de funções, a fim de garantir clareza.
• Para APIs públicas, nas quais os tipos explícitos melhoram a legibilidade e a facilidade de manutenção.

Prática: inferência de tipos e tipagem contextual

Escreva uma função que receba dois números como entrada e retorne a soma deles. O TypeScript inferirá os tipos para você!

Exemplo:

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

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

Excelente trabalho!

Você aprendeu como o TypeScript usa a inferência de tipos e a tipagem contextual para tornar seu código eficiente e seguro quanto aos tipos. Continue explorando os recursos poderosos do TypeScript para aprimorar suas habilidades de programação!