Explique o que significa o termo 'linguagem de programação de tipo estrito' e como ela difere de uma linguagem de tipo não estrito.

Uma linguagem de programação fortemente tipada é uma linguagem na qual os tipos de dados de variáveis e expressões são rigorosamente controlados pelo compilador ou interpretador, e não é permitida a conversão de tipos implícita, o que pode levar a erros. Por exemplo, nesses idiomas, não é possível simplesmente atribuir um valor inteiro a uma variável do tipo string sem uma conversão explícita.

Em contraste, linguagens fracamente tipadas permitem misturar tipos com mais liberdade, muitas vezes realizando conversões automáticas (por exemplo, JavaScript). Isso pode levar a resultados inesperados, mas também simplifica a escrita do código.

Exemplo em C# (fortemente tipado):

int a = 5;
string s = "10";
// string result = a + s; // Erro de compilação
string result = a.ToString() + s; // Correto

Em linguagens fracamente tipadas, como JavaScript, essa expressão funcionará sem erros, mas o resultado pode não ser evidente.