Magyarázza el, mit jelent a 'szigorúan típusosított programozási nyelv' kifejezés, és miben különbözik a nem szigorúan típusosított nyelvtől.

Szigorúan típusos programozási nyelv az, ahol a változók és kifejezések adattípusait szigorúan ellenőrzi a fordító vagy az értelmező, és nem engedélyezett a típusok implicit átalakítása, ami hibákhoz vezethet. Például ilyen nyelvekben nem lehet egyszerűen egész értéket hozzárendelni egy szövegtípusú változóhoz explicit átalakítás nélkül.

Ezzel szemben a gyenge típusú nyelvek lehetővé teszik a típusok szabadabb keverését, gyakran automatikus átalakításokat végezve (például JavaScript). Ez váratlan eredményekhez vezethet, de megkönnyíti a kódírást.

Példa C#-ban (szigorúan típusos):

int a = 5;
string s = "10";
// string result = a + s; // Fordítási hiba
string result = a.ToString() + s; // Helyes

Gyenge típusú nyelvekben, mint például JavaScript, egy ilyen kifejezés hibák nélkül működik, de az eredmény nem feltétlenül nyilvánvaló.