Sommario:
Definizione - Cosa significa Inferenza del tipo?
Inferenza del tipo è la deduzione automatica dei tipi di dati di espressioni specifiche in un linguaggio di programmazione, generalmente effettuata in fase di compilazione. Implica l'analisi di un programma e quindi la deduzione dei diversi tipi di alcune o tutte le espressioni in quel programma in modo che il programmatore non debba inserire e definire esplicitamente i tipi di dati ogni volta che vengono utilizzate variabili nel programma.Techopedia spiega Type Inference
L'inferenza di tipo è spesso una funzione di compilazione di linguaggi di programmazione funzionale piuttosto che di oggetti orientati agli oggetti. Il compilatore o l'interprete necessita solo di informazioni minime e di un contesto per capire quale sia il tipo di dati di una variabile o espressione.
L'algoritmo di inferenza tenta di determinare i tipi di argomento e il tipo di valore restituito, quindi cerca di trovare il tipo di dati più specifico che funzioni con tutti gli argomenti. Come esempio di base, considera la funzione Foo (a, b) = x + y; il compilatore sa che l'operatore "+" accetta due numeri interi e restituisce anche un numero intero, quindi ora il compilatore o l'interprete può dedurre che Foo ha anche il tipo intero.
