typechecking
nounEtymology From type + checking.
1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences The process of verifying whether a given value belongs to a certain data type.
- Related terms
- typechecker, type system, type theory