Typ danych, który nie jest bezpośrednio określony przez programistę, a dedukowany przez system na podstawie tego, „na co wygląda”, np. w języku Visual Basic instrukcja Dim x = 123.456 zostałaby uznana za typ double, ponieważ 123.456 wygląda jak liczba tego typu.