Question $2$

When is type checking preferred?

At runtime since it is impossible to perform before hand.

During compilation since run$-$time checking is expensive.

Type checking is not preferred for most languages.

Type checking should be performed when an exception occurs at runtime.