Чем отличается динамическая и статическая типизация

Динамическая типизация предполагает, что тип переменной определяется во время выполнения программы, исходя из присваиваемого значения. Это позволяет переменной менять тип на лету:

a = 1   # a — это int
a = 'Hello'  # теперь a — str

Статическая типизация, напротив, требует явного указания типа переменной до ее использования. Тип не может изменяться в процессе работы программы. Это позволяет обнаружить ошибки до запуска, но делает код менее гибким.

Таким образом, динамическая типизация дает больше гибкости, тогда как статическая обеспечивает более строгий контроль типов на этапе компиляции.