Sadržaj:
Definicija - Što znači zaključak tipa?
Zaključivanje tipa je automatsko oduzimanje vrsta podataka određenih izraza u programskom jeziku, obično se vrši u vrijeme sastavljanja. To uključuje analizu programa i zaključivanje različitih vrsta nekih ili svih izraza u tom programu tako da programeru nije potrebno izričito unositi i definirati tipove podataka svaki put kada se u njemu koriste varijable.Tehopedija objašnjava zaključak tipa
Zaključivanje tipa često je značajka prevoditelja funkcionalnih programskih jezika, a ne objektno orijentiranih. Sastavljaču ili tumaču potrebne su samo minimalne informacije, kao i kontekst da bi se shvatilo kakva je vrsta podataka varijable ili izraza.
Algoritam zaključivanja pokušava odrediti vrste argumenata kao i vrstu povratne vrijednosti, a zatim pokušava pronaći najkonkretniju vrstu podataka koja djeluje sa svim argumentima. Kao osnovni primjer uzmimo funkciju Foo (a, b) = x + y; prevodilac zna da operater "+" uzima dva cijela broja i također vraća cijeli broj, tako da sada prevoditelj ili interpreter može zaključiti da i Foo ima cijeli broj.
