Inferencja jest możliwa dzięki specjalnemu podmodułowi metakomunikacyjnemu, wywodzącemu się z modułu czytania w umyśle, w którym rozumienie inferencyjne dokonuje się dzięki relewancji.
pl.wikipedia.org Inferencja jest uzupełnieniem kodowania i dekodowania, mającym za zadanie ułatwienie procesu komunikacji.
pl.wikipedia.org W rzeczywistych językach należałoby też zająć się inferencją typów funkcji, krotek, pętli, konstrukcji warunkowych i innych zwykle spotykanych konstrukcji.
pl.wikipedia.org Inferencja typów – technika używana w językach statycznie typizowanych, która zwalnia programistę z obowiązku pisania typów i przerzuca obowiązek identyfikacji typów na kompilator.
pl.wikipedia.org Przeważnie w językach bez inferencji typów wprowadza się zmienną typową (czyli zmienną przebiegającą przestrzeń typów, a nie wartości jakiegoś typu), która zastępuje nazwę typu będącego parametrem, w parametryzowanym fragmencie.
pl.wikipedia.org