Uma linguagem fortemente tipada é aquela em que o tipo da variável, uma vez atribuído, se mantém o mesmo até que seja descartada da memória.

o tipo da variável é definido em tempo de execução.

o tipo da variável muda dinamicamente conforme a situação.

o tipo da variável não precisa ser definido.

o tipo da variável é definido em tempo de compilação.