Typecheck

Check af, om reglerne for brug af en datatype i et program er overholdt. Typecheck, der kan udføres uden at programmet afvikles, kaldes statisk typecheck og kan foregå i en oversætter. Typecheck, der foregår under afviklingen, kaldes dynamisk.