Что такое явная типизация

Явная типизация — это подход, при котором типы переменных, аргументов функций и возвращаемых значений указываются явно в коде. В Python (который по умолчанию использует динамическую типизацию) явная типизация реализуется через аннотации типов (type hints), начиная с версии 3.5+.

Пример:

def greet(name: str) -> str:
    return f"Hello, {name}"

age: int = 30

Особенности:

• Не влияет на выполнение кода (Python игнорирует аннотации при запуске).
• Позволяет IDE и инструментам (mypy, pyright) находить ошибки типов до запуска.
• Улучшает читаемость и документирование кода.

Важно:

def add(a: int, b: int) -> int:
    return a + b

add("1", "2")  # mypy выдаст ошибку, но код выполнится (результат: "12")