Inhoudsopgave:
Definitie - Wat betekent Type Inference?
Type-inferentie is de automatische aftrek van de gegevenstypen van specifieke uitdrukkingen in een programmeertaal, meestal gedaan tijdens het compileren. Het omvat het analyseren van een programma en vervolgens het afleiden van de verschillende soorten van sommige of alle uitdrukkingen in dat programma, zodat de programmeur niet expliciet gegevenstypen hoeft in te voeren en te definiëren telkens wanneer variabelen in het programma worden gebruikt.Techopedia legt Type Inference uit
Type-inferentie is vaak een compileerfunctie van functionele programmeertalen in plaats van objectgeoriënteerde. De compiler of interpreter heeft slechts minimale informatie en context nodig om erachter te komen wat het gegevenstype van een variabele of expressie is.
Het inferentie-algoritme probeert zowel de argumenttypen als het retourwaardetype te bepalen en probeert vervolgens het meest specifieke gegevenstype te vinden dat met alle argumenten werkt. Beschouw als een basisvoorbeeld de functie Foo (a, b) = x + y; de compiler weet dat de operator "+" twee gehele getallen neemt en ook een geheel getal retourneert, dus nu kan de compiler of interpreter afleiden dat Foo ook het type geheel getal heeft.
