Innholdsfortegnelse:
Definisjon - Hva betyr Type Inferanse?
Type inferens er automatisk deduksjon av datatypene av spesifikke uttrykk på et programmeringsspråk, vanligvis gjort på kompileringstiden. Det innebærer å analysere et program og deretter utlede de forskjellige typene av noen eller alle uttrykk i det programmet, slik at programmereren ikke trenger å eksplisitt legge inn og definere datatyper hver gang variabler brukes i programmet.Techopedia forklarer Type Inference
Type inferens er ofte en kompilatorfunksjon for funksjonelle programmeringsspråk i stedet for objektorienterte. Kompilatoren eller tolken trenger bare minimal informasjon samt kontekst for å finne ut hva datatypen til en variabel eller uttrykk er.
Inferansealgoritmen prøver å bestemme argumenttyper så vel som returverditypen, og deretter prøver den å finne den mest spesifikke datatypen som fungerer med alle argumentene. Som et grunnleggende eksempel, vurder funksjonen Foo (a, b) = x + y; kompilatoren vet at operatøren "+" tar to heltall og returnerer også et heltall, så nå kan kompilatoren eller tolken utlede at Foo også har typen heltall.
