Which of the following comparisons between static and dynamic type checking is incorrect?
(A) Dynamic type checking slows down the execution
(B) Dynamic type checking offers more flexibility to the programmers
(C) In contrast to Static type checking, dynamic type checking may cause failure in runtime due to type errors
(D) Unlike static type checking, dynamic type checking is done during compilation
Answer: (D)
Explanation: A language is statically-typed if the type of a variable is known at compile time instead of at runtime. Common examples of statically-typed languages include Ada, C, C++, C#, JADE, Java, Fortran, Haskell, ML, Pascal, and Scala.
and Dynamic type checking is the process of verifying the type safety of a program at runtime. Common dynamically-typed languages include Groovy, JavaScript, Lisp, Lua, Objective-C, PHP, Prolog, Python, Ruby, Smalltalk and Tcl.
So, dynamic type checking offers more flexibility to the programmers at the expense of runtime type checking overhead and possible runtime type errors.
Quiz of this Question