Type checking — это процесс проверки типов данных переменных, аргументов функций и возвращаемых значений во время компиляции (статическая проверка) или выполнения (динамическая проверка). Python использует динамическую типизацию, но с `mypy` или аннотациями типов (`typing`) можно добавить статическую проверку. Пример с аннотациями: ``` def greet(name: str) -> str: return f"Hello, {name}" greet("Alice") # OK greet(42) # Вызовет предупреждение в mypy ``` **Ключевые моменты:** - **Динамическая проверка**: Python проверяет типы во время выполнения (например, `int + str` вызовет `TypeError`). - **Статическая проверка**: Инструменты вроде `mypy` анализируют код до выполнения, используя аннотации типов. - **Duck typing**: Python фокусируется на поведении объектов, а не их типах (`"if it walks like a duck..."`).