Преглед садржаја:
Дефиниција - Шта значи закључак типа?
Закључивање типа је аутоматско одузимање типова података одређених израза у програмском језику, обично се врши у време компилације. То укључује анализу програма, а затим закључивање различитих типова неких или свих израза у том програму тако да програмеру није потребно изричито уносити и дефинирати типове података сваки пут када се у њему користе променљиве.Техопедија објашњава закључак типа
Закључивање типа је често функција компајлера функционалних програмских језика, а не објектно оријентисаних. Компајлеру или тумачу су потребне само минималне информације као и контекст да би се схватило који је тип података променљива или израз.
Алгоритам закључивања покушава одредити типове аргумената као и тип повратне вриједности, а затим покушава пронаћи најспецифичнији тип података који дјелује са свим аргументима. Као основни пример, узмимо функцију Фоо (а, б) = к + и; преводилац зна да "+" оператор узима два цела броја и такође враћа цео број, тако да сада преводилац или преводилац могу закључити да и Фоо има цео број.
