Tipado estático vs. tipado dinámico

El sistema de tipos estático de Scala ayuda a evitar errores en aplicaciones complejas. Aunque el tipado estático es una parte esencial de Scala, el concepto de sistema de tipos puede ser difícil de asimilar.

En este ejercicio, vas a clasificar distintas formas de decir lo mismo sobre lenguajes con tipado estático y lenguajes con tipado dinámico para entender estos términos desde todos los ángulos. Ejemplo: run time es sinónimo de execution time.

Las siguientes definiciones pueden ayudarte:

Tipo: restringe los posibles valores a los que una variable puede referirse, o que una expresión puede producir, en tiempo de ejecución.

Tiempo de compilación: cuando el código fuente se traduce a código máquina, es decir, código que un ordenador puede leer.

Tiempo de ejecución: cuando el programa está ejecutando instrucciones (después de la compilación, si procede).