Enciclopedia universală

Inferenta tipurilor

Inferenta tipurilor - Determinarea expresiei de tip asociata unei constructii din limbaj luand in consideratie si contextul in care constructia este folosita. Este caracteristica limbajelor de programare pentru care nu exista declaratii de tip (de exemplu ML). In aceste cazuri, se considera ca utilizarea tipurilor este corecta, daca pentru fiecare constructie din program se poate infera o expresie de tip.