Dynamisk typecheck

I programmeringssprog kan typecheck foretages dynamisk (på afviklingstidspunktet) eller statisk (på oversættelsestidspunktet). Fordelen ved statisk typecheck er, at alle muligheder kan håndteres på forhånd, hvilket minimerer uforudsete og uhensigtsmæssige fejlmuligheder på afviklingstidspunktet. Fordelen ved dynamisk typecheck er, at programmøren i højere grad kan forberede programmet til at blive brugt på brugerens vilkår ved at lade det være op til brugeren at udnytte mulige sammenhænge.