Qual é a diferença entre tipagem estática e dinâmica na linguagem Go?

Na linguagem Go, a tipagem é estática, ou seja, os tipos de variáveis são determinados na fase de compilação e não mudam durante a execução. Ao mesmo tempo, Go suporta comportamento dinâmico através de interfaces e tipos interface{}, o que permite trabalhar com diferentes tipos de dados em um mesmo contexto.

Assim, Go é uma linguagem com tipagem estática, mas com capacidades de polimorfismo dinâmico através de interfaces. Ao contrário de linguagens com tipagem dinâmica (por exemplo, Python), em Go os erros de tipo são detectados na fase de compilação, o que aumenta a confiabilidade do código.