Wyjaśnij, co oznacza termin 'język programowania o ścisłym typowaniu' i jak różni się od języka nieścisłego typowania.

Język programowania o ścisłym typowaniu to język, w którym typy danych zmiennych i wyrażeń są ściśle kontrolowane przez kompilator lub interpreter, i nie dopuszcza się niejawnej konwersji typów, co może prowadzić do błędów. Na przykład, w takich językach nie można po prostu przypisać wartości całkowitej do zmiennej typu string bez wyraźnej konwersji.

W przeciwieństwie do tego, języki słabo typowane pozwalają na bardziej swobodne mieszanie typów, często wykonując automatyczne konwersje (np. JavaScript). Może to prowadzić do nieoczekiwanych rezultatów, ale także upraszcza pisanie kodu.

Przykład w C# (ścisłe typowanie):

int a = 5;
string s = "10";
// string result = a + s; // Błąd kompilacji
string result = a.ToString() + s; // Poprawnie

W językach słabo typowanych, takich jak JavaScript, takie wyrażenie będzie działać bez błędów, ale wynik może nie być oczywisty.