Môžete vysvetliť, čo znamená pojem 'prísne typovaný programovací jazyk'?

Prísne typovaný programovací jazyk je jazyk, ktorý prísne kontroluje zhodu dátových typov počas kompilácie a/alebo behu. V takýchto jazykoch nie je možné implicitne konvertovať údaje z jedného typu na iný bez explicitného pokynu, čo pomáha predchádzať chybám.

Napríklad, ak máte premennú typu int, nemôžete jej priradiť hodnotu typu string bez explicitnej konverzie. To zvyšuje bezpečnosť a predvídateľnosť kódu.

Príklad v Swift (prísne typovaný jazyk):

let number: Int = 42
// let text: String = number // Chyba pri kompilácii
let text: String = String(number) // Explicitná konverzia

Na rozdiel od jazykov s mäkkým typovaním, kde sa typy môžu automaticky konvertovať, čo niekedy vedie k nečakaným výsledkom.