Como se diferenciam a tipagem estática e dinâmica nas linguagens de programação?

A tipagem estática significa que os tipos de variáveis são definidos e verificados durante a compilação. Isto permite detectar erros de tipos antes de executar o programa. Por exemplo, em Swift ou C++, o tipo de variável é especificado explicitamente ou inferido pelo compilador, e não pode ser alterado.

A tipagem dinâmica significa que os tipos de variáveis são determinados em tempo de execução. Isto oferece maior flexibilidade, mas erros de tipos podem só aparecer durante a execução. Exemplos de linguagens com tipagem dinâmica são Python e JavaScript.

Exemplo em Swift (tipagem estática):

var number: Int = 10
number = "string" // Erro de compilação

Exemplo em Python (tipagem dinâmica):

number = 10
number = "string"  # Funciona sem erros