Můžete vysvětlit, co znamená pojem 'přísně typovaný programovací jazyk'?

Přísně typovaný programovací jazyk je jazyk, který přísně kontroluje shodu datových typů během kompilace a/nebo běhu. V takových jazycích nelze implicitně převádět data z jednoho typu na jiný bez explicitního pokynu, což pomáhá předcházet chybám.

Například pokud máte proměnnou typu int, nemůžete jí přiřadit hodnotu typu string bez explicitní konverze. To zvyšuje bezpečnost a předvídatelnost kódu.

Příklad v Swift (přísně typovaný jazyk):

let number: Int = 42
// let text: String = number // Chyba při kompilaci
let text: String = String(number) // Explicitní konverze

Na rozdíl od jazyků s slabým typováním, kde lze typy automaticky převádět, což může někdy vést k neočekávaným výsledkům.