Как отличаются статическая и динамическая типизация языков программирования?

Статическая типизация означает, что типы переменных определяются и проверяются во время компиляции. Это позволяет ловить ошибки типов до запуска программы. Например, в Swift или C++ тип переменной указывается явно или выводится компилятором, и изменить тип нельзя.

Динамическая типизация означает, что типы переменных определяются во время выполнения программы. Это даёт большую гибкость, но ошибки типов могут проявиться только во время работы. Примеры языков с динамической типизацией — Python, JavaScript.

Пример на Swift (статическая типизация):

var number: Int = 10
number = "строка" // Ошибка компиляции

Пример на Python (динамическая типизация):

number = 10
number = "строка"  # Работает без ошибок