Type Checking

Noun · Development

Definitions

  1. The process — performed statically at compile time or dynamically at runtime — of verifying that operations in a program are applied to values of compatible types. Static type checking (TypeScript, Rust, Java) catches mismatches before execution, while dynamic type checking (Python, Ruby) raises errors when an incompatible operation is attempted at runtime.

    In plain English: Verifying that your code uses the right kinds of data in the right places, either before or while the program runs.

    Example: "Type checking caught that we were passing a string where the API expected a number — would have been a production bug without it."

Related Terms