Explique qué significa el término 'lenguaje de programación de tipo estricto' y en qué se diferencia de uno no estricto.

Un lenguaje de programación de tipo estricto es aquel en el que los tipos de datos de variables y expresiones son controlados estrictamente por el compilador o intérprete, y no se permite la conversión de tipos implícita, lo cual puede llevar a errores. Por ejemplo, en estos lenguajes no se puede simplemente asignar un valor entero a una variable de tipo cadena sin una conversión explícita.

En contraste, los lenguajes de tipo no estricto permiten mezclar tipos con mayor libertad, a menudo realizando conversiones automáticas (por ejemplo, JavaScript). Esto puede conducir a resultados inesperados, pero también simplifica la escritura del código.

Ejemplo en C# (de tipo estricto):

int a = 5;
string s = "10";
// string result = a + s; // Error de compilación
string result = a.ToString() + s; // Correcto

En lenguajes de tipo no estricto, como JavaScript, esa expresión funcionará sin errores, pero el resultado puede no ser evidente.