Что хотят услышать интервьюеры:

Python использует динамическую и сильную типизацию: тип объекта известен во время выполнения, а переменная просто ссылается на объект. Аннотации типов в Python — это в первую очередь инструмент для читаемости, анализа кода и проверки статическими тулзами, а не жесткое ограничение на уровне рантайма. Это влияет на скорость разработки, удобство рефакторинга и качество поддержки проекта.

Определение:

В Python тип принадлежит не переменной, а объекту. Одна и та же переменная может в разное время ссылаться на значения разных типов, и это нормально для динамической типизации.

Сильная типизация означает, что Python не делает неявные опасные преобразования типов там, где они могут привести к ошибке. Если операция не поддерживается, возникнет исключение, а не “магическое” приведение.

Аннотации типов, такие как int, str, list[str], Optional[...], помогают людям и инструментам понимать ожидаемые типы, но обычно не меняют поведение программы сами по себе.

Пример использования:

from typing import Optional

def greet(name: Optional[str]) -> str:
    if name is None:
        return "Привет, гость!"
    return f"Привет, {name}!"

user_name = "Анна"
print(greet(user_name))

user_name = 123  # динамически это возможно, но типовой анализатор сообщит об ошибке

На практике это помогает:

раньше находить ошибки через mypy, pyright или IDE;
лучше документировать контракт функции;
безопаснее рефакторить код.

Пояснение кода:

В этом примере функция greet принимает аргумент, который может быть строкой или None. Аннотация Optional[str] показывает, что значение отсутствия тоже допустимо.

Дальше внутри функции выполняется явная проверка name is None. Это важно, потому что в динамически типизированном Python нельзя полагаться на “автоматическое” приведение типов — нужно явно обрабатывать разные варианты.

Строка user_name = 123 демонстрирует ключевую особенность Python: сама переменная не фиксирует тип. Такой код может существовать, но статический анализатор укажет, что позже это, вероятно, сломает ожидания функции greet.

Ключевые моменты:

В Python тип привязан к объекту, а не к переменной.
Типизация динамическая: многие ошибки проявляются во время выполнения.
Типизация сильная: Python не делает лишних неявных преобразований типов.
Аннотации типов улучшают читаемость, поддержку и проверку кода инструментами.
Типы в Python — это в основном контракт для разработчиков и анализаторов, а не жесткое ограничение рантайма.
Такая модель ускоряет разработку, но требует дисциплины и тестов, особенно в больших проектах.

Как в Python реализована система типизации и как она влияет на разработку?