Definição - o que significa inferência de tipo?
A inferência de tipo é a dedução automática dos tipos de dados de expressões específicas em uma linguagem de programação, geralmente feita em tempo de compilação. Envolve a análise de um programa e a inferência dos diferentes tipos de algumas ou de todas as expressões nesse programa, de modo que o programador não precise inserir e definir explicitamente os tipos de dados sempre que as variáveis forem usadas no programa.
Definirtec explica a inferência de tipo
A inferência de tipo costuma ser um recurso do compilador de linguagens de programação funcionais, em vez de linguagens orientadas a objetos. O compilador ou interpretador precisa apenas de informações mínimas, bem como de contexto, para descobrir qual é o tipo de dados de uma variável ou expressão.
O algoritmo de inferência tenta determinar os tipos de argumento, bem como o tipo de valor de retorno e, em seguida, tenta encontrar o tipo de dados mais específico que funciona com todos os argumentos. Como exemplo básico, considere a função Foo (a, b) = x + y; o compilador sabe que o operador "+" pega dois inteiros e também retorna um inteiro, então agora o compilador ou interpretador pode inferir que Foo também tem o tipo inteiro.