¿Cuál de las siguientes comparaciones entre la comprobación de tipo estático y dinámico es incorrecta?
(A) La verificación de tipo dinámico ralentiza la ejecución
(B) La verificación de tipo dinámico ofrece más flexibilidad a los programadores
(C) A diferencia de la verificación de tipo estático, la verificación de tipo dinámico puede causar fallas en el tiempo de ejecución debido a errores de tipo
(D) A diferencia del tipo estático comprobación, la comprobación dinámica de tipos se realiza durante la compilación
Respuesta: (D)
Explicación: un lenguaje tiene tipos estáticos si el tipo de una variable se conoce en tiempo de compilación en lugar de en tiempo de ejecución. Los ejemplos comunes de lenguajes de tipado estático incluyen Ada, C, C++, C#, JADE, Java, Fortran, Haskell, ML, Pascal y Scala.
y La verificación dinámica de tipos es el proceso de verificar la seguridad de tipos de un programa en tiempo de ejecución. Los lenguajes comunes de escritura dinámica incluyen Groovy, JavaScript, Lisp, Lua, Objective-C, PHP, Prolog, Python, Ruby, Smalltalk y Tcl.
Por lo tanto, la verificación dinámica de tipos ofrece más flexibilidad a los programadores a expensas de la sobrecarga de verificación de tipos en tiempo de ejecución y posibles errores de tipos en tiempo de ejecución.
Cuestionario de esta pregunta
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA