Type Checking

Type checking is the process of verifying that data in a program matches the expected kind or category, such as numbers, text, or dates. It ensures you perform operations only on compatible data, preventing errors and bugs. For example, adding two numbers is valid, but adding a number and text might cause problems. Type checking can happen when writing the code (static) or while it runs (dynamic). It helps developers catch mistakes early, making programs more reliable and easier to maintain.