Topic summary

Type checking

Extracted from the Wikipedia article Type system.

Type checking

The process of verifying and enforcing the constraints of types, type checking, may occur at compile time (a static check) or at runtime (a dynamic check).