Строго типизированный язык программирования — это язык, в котором типы данных переменных и выражений строго контролируются компилятором или интерпретатором, и не допускается неявное преобразование типов, которое может привести к ошибкам. Например, в таких языках нельзя просто так присвоить целочисленное значение переменной типа строка без явного преобразования.

В отличие от этого, нестрого типизированные языки позволяют более свободно смешивать типы, часто выполняя автоматические преобразования (например, JavaScript). Это может привести к неожиданным результатам, но и упрощает написание кода.

Пример в C# (строго типизированный):

int a = 5;
string s = "10";
// string result = a + s; // Ошибка компиляции
string result = a.ToString() + s; // Правильно

В нестрого типизированных языках, например в JavaScript, такое выражение будет работать без ошибок, но результат может быть неочевиден.

Объясните, что означает термин 'строго типизированный язык программирования' и как он отличается от нестрого типизированного.