Что означает строгая типизация в программировании?

Строгая типизация означает, что тип данных переменной определяется на этапе компиляции или выполнения, и язык программирования следит за соблюдением этих типов, ограничивая или запрещая операции между несовместимыми типами.

Основные характеристики в контексте Python (динамическая, утиная типизация, но тем не менее считается условно "строгой" в сравнении с C/C++):

• Неявное преобразование типов: Python выполняет меньше автоматических преобразований типов, чем некоторые другие языки. Например, нельзя напрямую сложить строку и число.

  python

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

  python