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

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

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

Основные различия:

• Статическая типизация: ошибки типов выявляются на этапе компиляции.
• Динамическая типизация: ошибки типов выявляются во время выполнения.
• Статическая типизация обычно требует явного указания типов.
• Динамическая типизация позволяет писать более гибкий и краткий код.

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

int number = 10; // number всегда int
number = "text"; // ошибка компиляции

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

number = 10  # number - int
number = "text"  # теперь number - str