Meg tudná magyarázni, mit jelent a 'szigorúan típusos programozási nyelv' kifejezés?

Szigorúan típusos programozási nyelv az, amely szigorúan ellenőrzi az adattípusok megfelelőségét a fordítás és/vagy a futás során. Ezekben a nyelvekben nem lehet implicit módon átalakítani az adatokat egyik típusból a másikba anélkül, hogy kifejezetten jeleznénk, ez segít elkerülni a hibákat.

Például, ha van egy int típusú változód, nem rendelhetsz hozzá egyszerűen string típusú értéket anélkül, hogy kifejezetten átalakítanád. Ez növeli a kód biztonságát és előre jelezhetőségét.

Példa Swiftben (szigorúan típusos nyelv):

let number: Int = 42
// let text: String = number // Fordítási hiba
let text: String = String(number) // Kifejezett átalakítás

A gyenge típusú nyelvektől eltérően, ahol a típusok automatikusan konvertálódhatnak, ami néha váratlan eredményekhez vezethet.