Dynamic checking is necessary in the following scenarios:

► Whenever the definition of a variable is not necessary before its usage.

► When implicit conversion of variables into other types.

► When the program is to be compiled independently as there is no type checking at compile time.