Post
Type Checking Rules
Type checking is the process of verifying that a program is type safe. Type checking is performed at compile time and runtime. The compiler performs static type checking, and the runtime performs dynamic type checking.
In this section, we will discuss the type checking rules that are applied at compile time and runtime.
