Índice:
Definição - O que significa Inferência de Tipo?
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 analisar um programa e, em seguida, inferir os diferentes tipos de algumas ou de todas as expressões nesse programa, para que o programador não precise inserir e definir explicitamente os tipos de dados toda vez que as variáveis forem usadas no programa.Techopedia explica Inferência de Tipo
A inferência de tipos geralmente é um recurso do compilador de linguagens de programação funcionais, em vez de orientadas a objetos. O compilador ou intérprete precisa apenas de informações mínimas e 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 "+" usa dois números inteiros e também retorna um número inteiro; portanto, agora o compilador ou intérprete pode inferir que Foo também tem o tipo número inteiro.
