Static Typing

Definitions

1. A type system where variable types are determined and checked at compile time rather than runtime, catching type errors before the program executes.

   In plain English: When the programming language checks that you are using the right kinds of data before you even run the program, not after it crashes.

   Example: "Static typing in TypeScript caught the bug where we passed a string to a function expecting a number."

Related Terms

• TypeScript
• Zig
• Factor
• Null Safety
• Nullable
• Option Type
• Strong Typing
• Union Type
• Phantom Type