Wat is het belangrijkste voordeel van typecontrole door de compiler in een taal met statische types?

Antwoord: A. Operaties of toewijzingen met niet-passende types kunnen vóór de uitvoering worden gevonden

Bij typecontrole kunnen fouten zoals het optellen van een geheel getal en een string of het doorgeven van een argument van een verkeerd type aan een functie worden gevonden vóór het programma wordt uitgevoerd. Fouten worden vroeg gevonden, en typeinformatie helpt de compiler ook efficiënte machinecode te kiezen. Fouten die van waarden afhangen, zoals deling door 0 en toegang buiten het bereik van een array, worden echter niet allemaal uitgesloten. Doordat types worden gedeclareerd, wordt het programma ook niet noodzakelijk korter.