Static Type Checking

Explanation: The process of checking data types at compile time. This approach helps prevent runtime errors by enforcing type constraints as code is written, resulting in safer, more predictable code.