verifying that a variable, expression or value has the declared type

Type checking is the process of verifying that a program fragment has a particular type. It may be performed statically (at compile time) or dynamically (at run time).

For more general questions about types in programming languages, see .

history | excerpt history