Kazalo:
Opredelitev - Kaj pomeni Zaznavanje tipa?
Zaznavanje tipa je samodejni odbitek podatkovnih vrst specifičnih izrazov v programskem jeziku, ki se običajno opravijo v času prevajanja. Vključuje analizo programa in nato sklepanje različnih vrst nekaterih ali vseh izrazov v tem programu, tako da programerju ni treba izrecno vnašati in definirati vrst podatkov vsakič, ko v njem uporabi spremenljivke.Tehopedia razlaga tip sklepanja
Zaznavanje tipa je pogosto funkcija prevajalnika funkcionalnih programskih jezikov in ne objektno usmerjenih. Prevajalnik ali tolmač potrebuje le minimalne informacije in kontekst, da ugotovi, kakšen je podatkovni tip spremenljivke ali izraza.
Algoritem sklepanja poskuša določiti vrste argumentov in vrsto vrnjene vrednosti, nato pa poskuša najti najbolj specifičen tip podatkov, ki deluje z vsemi argumenti. Kot osnovni primer upoštevajte funkcijo Foo (a, b) = x + y; prevajalnik ve, da operater "+" prevzame dve celi številki in tudi vrne celo število, tako da zdaj prevajalnik ali tolmač lahko sklepa, da ima tudi Foo celo število.
