When is dynamic checking necessary?

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.