Съдържание:
Определение - Какво означава тип извод?
Тип извод е автоматичното изваждане на типовете данни на специфични изрази в език на програмиране, обикновено се извършва по време на компилиране. Тя включва анализ на програма и след това извеждане на различните типове на някои или всички изрази в тази програма, така че програмистът не е необходимо да въвежда изрично и дефинира типове данни всеки път, когато променливи се използват в програмата.Техопедия обяснява извода на типа
Типът извод често е компилатор на функционални езици за програмиране, а не на обектно-ориентирани. Компилаторът или интерпретаторът се нуждае от само минимална информация, както и контекст, за да разбере какъв е типът данни на променлива или израз.
Алгоритъмът на извода се опитва да определи типовете аргументи, както и типа на връщаната стойност и след това се опитва да намери най-специфичния тип данни, който работи с всички аргументи. Като основен пример, разгледайте функцията Foo (a, b) = x + y; компилаторът знае, че операторът "+" взема две цели числа и също връща цяло число, така че сега компилаторът или интерпретаторът може да заключи, че Foo също има цяло число.
