В чем разница между статической и динамической типизацией

Статическая типизация проверяет типы данных на этапе компиляции, а динамическая — во время выполнения.

Пример статической типизации (C++):

int x = 10;  // тип `int` задан явно  
x = "текст"; // ошибка компиляции  

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

x = 10      # тип `int`  
x = "текст" # тип изменился на `str` — ошибки нет  

Плюсы статической типизации:

• Безопасность, раннее обнаружение ошибок.
• Лучшая оптимизация кода.

Плюсы динамической типизации:

• Гибкость, меньше кода для простых задач.
• Быстрое прототипирование.