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).
Topic summary

Extracted from the Wikipedia article Type system.
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).