Após ler uma afirmação de que linguagens fracamente tipadas eram ruins, fui pesquisar sobre o assunto, e acabei descobrindo o termo "estaticamente tipada".
Aqui, nessa pergunta do SO em inglês, é dito que:
static (types are checked at compile time)
(estática (tipos são checados na hora de compilar))
Então uma linguagem estaticamente tipada pode ser considerada uma linguagem de tipagem forte? Pois não vai permitir coisas como true == 1
. Ou eu entendi errado?
dynamic typing
educk typing
. No caso da tipagem estática, o programador diz que a variável representa um inteiro ou um objeto do tipoX
. Muito comum em Java, como usarint i
ouString name
. Isso em contraponto de Python que você não declara o tipo da variável ao criá-la.