(programming) A system or algorithm that verifies values against their required data types, according to the type system of the language.

plural of typechecker

(computing) The process of verifying whether a given value belongs to a certain data type.

(computing) To verify whether a given value belongs to a certain data type.

Third-person singular simple present indicative form of typecheck

simple past tense and past participle of typecheck