Obsah:
Definice - Co znamená odvození typu?
Inference typu je automatické dedukce datových typů specifických výrazů v programovacím jazyce, obvykle se provádí v době kompilace. Zahrnuje analýzu programu a následné odvození různých typů některých nebo všech výrazů v tomto programu, takže programátor nemusí explicitně zadávat a definovat datové typy pokaždé, když jsou v programu použity proměnné.Techopedia vysvětluje odvození typu
Inference typu je často kompilátorem funkčních programovacích jazyků než objektově orientovaných jazyků. Kompilátor nebo interpret potřebuje pouze minimální informace a kontext, aby zjistil, jaký je datový typ proměnné nebo výrazu.
Algoritmus inference se pokouší určit typy argumentů i typ návratové hodnoty a poté se pokusí najít nejkonkrétnější datový typ, který pracuje se všemi argumenty. Jako základní příklad zvažte funkci Foo (a, b) = x + y; kompilátor ví, že operátor "+" bere dvě celá čísla a také vrací celé číslo, takže nyní kompilátor nebo interpret může odvodit, že Foo má také celé číslo typu.
