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

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

За разлика от това, слаботипизираните езици позволяват по-свободно смесване на типове, често извършвайки автоматични преобразувания (например JavaScript). Това може да доведе до неочаквани резултати, но и да улесни писането на код.

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

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

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