A linguagem em que o tipo de cada variável, expressão ou função é definido antes da compilação ou durante a execução, e o compilador ou ambiente de execução verificam rigorosamente a conformidade dos tipos nas operações. Isso previne erros relacionados a incompatibilidades de tipos em fases mais iniciais do desenvolvimento.

Anterior Próximo