Which of the following comparisons between static and dynamic type checking is correct?

(A) Dynamic type checking slows down execution
(B) Dynamic type checking offers more flexibility to the programmers
(C) Both a and b
(D) Unlike static type checking is done during compilation