Definição – o que significa fortemente tipado?
Fortemente tipado é um conceito usado para referir-se a uma linguagem de programação que impõe restrições estritas na mistura de valores com diferentes tipos de dados. Quando tais restrições são violadas e ocorre um erro (exceção).
Definirtec explica fortemente tipado
Exemplos de linguagens fortemente tipadas existentes incluem Java, Ruby, Smalltalk e Python. No caso do Java, erros de digitação são detectados durante a compilação Outras linguagens de programação, como Ruby, detectam erros de digitação durante o tempo de execução.
Em linguagens fortemente tipadas, o comportamento das operações é mais previsível em comparação com as de linguagens fracamente tipadas. A desvantagem é ter que declarar e digitar todas as variáveis e parâmetros – embora alguns argumentem que esta é simplesmente uma boa codificação.
A diferenciação entre linguagens fortemente tipadas e linguagens fracamente tipadas é um tanto confusa. Algumas das linguagens consideradas fortemente tipadas permitem, na verdade, concessões que as tornam fracamente tipadas. Tome C #, por exemplo. Embora C # exija que todas as suas variáveis tenham um tipo definido, ele permite que o programador desabilite a verificação dinâmica de tipo. Até mesmo Java, considerada uma das linguagens de programação mais fortemente tipadas, permite que os objetos sejam convertidos em outros tipos.