Объясните принцип строгой типизации и как он реализуется в языках программирования.

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

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

В языках со строгой типизацией, например, в Python (начиная с версии 3.5 с поддержкой аннотаций типов), типы можно указывать явно, и инструменты статического анализа могут проверять соответствие типов.

Пример в Python с аннотациями типов:

def greet(name: str) -> str:
    return "Hello, " + name

# Если передать число, статический анализатор выдаст предупреждение
print(greet(123))  # Ошибка типов при проверке

Хотя Python динамически типизирован, строгая типизация реализуется через аннотации и проверку типов внешними инструментами (mypy, Pyright).

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