Tipagem estática vs. tipagem dinâmica

O sistema de tipos estático do Scala ajuda a evitar erros em aplicações complexas. Embora a tipagem estática seja parte essencial da essência do Scala, o conceito de sistema de tipos pode ser difícil de assimilar.

Neste exercício, você vai categorizar várias maneiras de dizer a mesma coisa sobre linguagens com tipagem estática e linguagens com tipagem dinâmica para entender esses termos por todos os ângulos. Exemplo: run time é sinônimo de tempo de execução.

As definições a seguir podem ajudar:

Tipo: restringe os possíveis valores aos quais uma variável pode se referir, ou que uma expressão pode produzir, em tempo de execução.

Tempo de compilação: quando o código-fonte é traduzido para código de máquina, isto é, código que o computador consegue ler.

Tempo de execução: quando o programa está executando comandos (após a compilação, se for compilado).