typechecking

Meaning

1. noun The process of verifying whether a given value belongs to a certain data type.

Similar words

typechecker type checker type static typing type hinting dynamic typing type safety strong typing type inference type hint

Often followed by

of and is