Inference

O processo de um compilador ou interpretador deduzir automaticamente o tipo de dado de uma expressão em tempo de compilação, sem que o programador precise especificá-lo explicitamente.