Uma linguagem de programação não exige que as variáveis tenham seu tipo definido. Porém, sempre detecta erros de tipo, determinando o tipo de todos os operandos em tempo de execução.

Isso a caracteriza como uma linguagem