Prós e contras de sistemas de tipos estáticos

Uma linguagem é estaticamente tipada quando o tipo de uma variável é conhecido em tempo de compilação. Ou seja, os tipos são verificados antes da execução. Há prós e contras comumente associados à maioria dos sistemas de tipos estáticos. A implementação do sistema de tipos estático do Scala, que é avançada, tenta mitigar alguns desses contras.

Neste exercício, você vai classificar afirmações sobre sistemas de tipos estáticos como pró, contra ou contra que é tratado por um recurso do sistema de tipos do Scala.