Pode explicar o que significa o termo 'linguagem de programação de tipagem forte'?

Uma linguagem de programação de tipagem forte é aquela que controla rigorosamente a correspondência de tipos de dados durante a compilação e/ou execução. Nesses idiomas, não é possível converter implicitamente dados de um tipo para outro sem uma indicação explícita, o que ajuda a evitar erros.

Por exemplo, se você tem uma variável do tipo int, não pode simplesmente atribuir-lhe um valor do tipo string sem uma conversão explícita. Isso aumenta a segurança e a previsibilidade do código.

Exemplo em Swift (linguagem de tipagem forte):

let number: Int = 42
// let text: String = number // Erro de compilação
let text: String = String(number) // Conversão explícita

Ao contrário das linguagens de tipagem fraca, onde os tipos podem ser convertidos automaticamente, o que às vezes leva a resultados inesperados.