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

Статическая типизация — это когда типы переменных и выражений проверяются на этапе компиляции. Это значит, что ошибки типов выявляются до запуска программы. Примеры языков со статической типизацией: C, Java, Go.

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

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

x = 5       # x — целое число
x = 'text'  # теперь x — строка

В статически типизированных языках такое не разрешено без явного преобразования.

Основное отличие — когда и как происходит проверка типов, что влияет на безопасность кода, гибкость и производительность.