Obsah:
Definícia - Čo znamená odvodenie typu?
Inferencia typu je automatická dedukcia dátových typov špecifických výrazov v programovacom jazyku, zvyčajne robená v čase kompilácie. Zahŕňa analýzu programu a potom odvodenie rôznych typov niektorých alebo všetkých výrazov v tomto programe, takže programátor nemusí explicitne zadávať a definovať typy údajov zakaždým, keď sa v programe použijú premenné.Techopedia vysvetľuje odvodenie typu
Inferencia typu je často skôr kompilátorom funkcií funkčných programovacích jazykov než objektovo orientovaných jazykov. Kompilátor alebo tlmočník potrebuje iba minimálne informácie, ako aj kontext, aby zistil, aký je dátový typ premennej alebo výrazu.
Inferenčný algoritmus sa pokúša určiť typy argumentov, ako aj typ návratovej hodnoty a potom sa pokúsi nájsť najšpecifickejší typ údajov, ktorý pracuje so všetkými argumentmi. Ako základný príklad uvážte funkciu Foo (a, b) = x + y; kompilátor vie, že operátor "+" má dve celé čísla a tiež vracia celé číslo, takže teraz kompilátor alebo tlmočník môžu odvodiť, že Foo má tiež celé číslo typu.
