Type Checking

Ensuring Type Safety

Type checking verifies that operations in the source code are type-safe — you can't add a string to an integer, or call a function with wrong argument types.

Type Checking Rules