Czy możesz wyjaśnić, co oznacza termin 'język programowania o ścisłym typowaniu'?

Język programowania o ściśle określonym typie to język, który rygorystycznie kontroluje zgodność typów danych podczas kompilacji i/lub wykonywania. W takich językach nie można niejawnie konwertować danych z jednego typu na inny bez wyraźnego wskazania, co pomaga uniknąć błędów.

Na przykład, jeśli masz zmienną typu int, nie możesz jej po prostu przypisać wartości typu string bez wyraźnej konwersji. To zwiększa bezpieczeństwo i przewidywalność kodu.

Przykład w Swift (język o ścisłym typowaniu):

let number: Int = 42
// let text: String = number // Błąd kompilacji
let text: String = String(number) // Wyraźna konwersja

W przeciwieństwie do słabo typowanych języków, gdzie typy mogą być automatycznie konwertowane, co czasami prowadzi do nieoczekiwanych rezultatów.