Pros y contras de los sistemas de tipos estáticos

Un lenguaje es de tipado estático si el tipo de una variable se conoce en tiempo de compilación. Es decir, los tipos se comprueban antes de la ejecución. Hay pros y contras comúnmente asociados a la mayoría de los sistemas de tipos estáticos. La implementación de Scala, que es avanzada, intenta abordar algunos de los contras.

En este ejercicio, vas a clasificar afirmaciones sobre los sistemas de tipos estáticos como ventaja, inconveniente o inconveniente que está resuelto por una característica del sistema de tipos estático de Scala.