Cuprins:
Definiție - Ce înseamnă Tip Inference?
Inferența de tip este deducerea automată a tipurilor de date ale expresiilor specifice dintr-un limbaj de programare, de obicei efectuate la timp de compilare. Aceasta implică analiza unui program și apoi deducerea diferitelor tipuri de unele sau toate expresiile din acel program, astfel încât programatorul să nu fie nevoie să introducă și să definească tipuri de date în mod explicit de fiecare dată când sunt utilizate variabile în program.Techopedia explică infernul de tip
Inferența de tip este adesea o caracteristică de compilare a limbajelor de programare funcționale, mai degrabă decât a celor orientate pe obiecte. Compilatorul sau interpretul are nevoie doar de informații minime, precum și de context, pentru a da seama care este tipul de date al unei variabile sau expresii.
Algoritmul de inferență încearcă să determine tipurile de argumente, precum și tipul valorii de retur și apoi încearcă să găsească cel mai specific tip de date care funcționează cu toate argumentele. Ca un exemplu de bază, luați în considerare funcția Foo (a, b) = x + y; compilatorul știe că operatorul "+" ia două întregi și returnează, de asemenea, un număr întreg, deci acum compilatorul sau interpretul poate deduce că Foo are și întregul tip.
