Inferencja typów
Z Wikipedii, wolnej encyclopedia
Inferencja typów – mechanizm w językach statycznie typowanych, w którym kompilator określa typ danych na podstawie informacji dostępnych w czasie kompilacji, np. typów zadeklarowanych wcześniej lub określania typów na podstawie wartości już znanych zmiennych[1]. Przykładem języka programowania, który wykorzystuje inferencję typów jest TypeScript.