Respostas
Quando uma linguagem é considerada estática, formalmente ela tem tipagem estática, ela pode ter a infraestrutura necessária para guardar dados diferentes em uma variável. Mas os dados são guardados de uma forma diferente dos outros tipos.
Linguagens estáticas são linguagem que possuem tipagem estática, onde o tipo de uma variável não pode mudar. Uma linguagem estática não é necessariamente de tipagem forte onde o tipo não pode ser interpretado de formas diferentes.
Linguagem com tipagem dinâmica não pode efetivamente ser parcialmente estáticas. Afinal uma linguagem dinâmica, formalmente que a tipagem seja dinâmica, deve sempre esperar qualquer tipo. Se ela começar esperar um tipo específico e fazer a verificação antes da execução, ela se transforma em "linguagem estática".
A definição básica da tipagem estática que uma linguagem de programação pode ter como característica é que há uma verificação dos tipos usados em dados e variáveis para garantir que sempre está sendo usado um tipo que é esperado em todas as situações. Esta verificação é feita no código fonte pelo processo de compilação.
ESPERO TER AJUDADO <3
me selecione como melhor resposta <3