Можете ли да објасните шта значи термин 'строго типизован језик за програмирање'?

Строго типизован језик програмирања је језик који строго контролише усаглашеност типова података током компилације и/или извршавања. У таквим језицима, није могуће нејасно конвертовати податке из једног типа у други без јасног указа, што помаже у избегавању грешака.

На пример, ако имате променљиву типа int, не можете јој једноставно доделити вредност типа string без јасне конверзије. Ово повећава безбедност и предвидљивост кода.

Пример у Swift-у (строго типизован језик):

let number: Int = 42
// let text: String = number // Грешка при компилацији
let text: String = String(number) // Јасна конверзија

За разлику од језика са слабим типизацијом, где типови могу аутоматски да се конвертују, што понекад доводи до неочекиваних резултата.