Какой язык Python в плане типизации?

Типизация в Python

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

Динамическая типизация

Это ключевая характеристика Python. Переменная может менять свой тип в процессе выполнения:

x = 42          # x имеет тип int
x = "hello"     # теперь x имеет тип str
x = [1, 2, 3]   # теперь x имеет тип list

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

Слабая типизация

Python допускает неявные преобразования типов в некоторых контекстах:

# Конкатенация с автоматическим преобразованием
result = "Number: " + str(42)  # нужно явное преобразование

# Но в операциях с числами работает автоматически
result = 3 + 2.5  # int + float = float (5.5)
result = True + 1  # bool + int = int (2), т.к. True == 1

Type Hints (аннотации типов)

Начиная с Python 3.5, появились type hints — подсказки о типах, которые не влияют на выполнение:

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

add(5, 10)      # OK
add("5", "10")  # Работает, вернёт "510", хотя аннотация говорит int

Type hints используются инструментами статического анализа (mypy, pyright) и IDE для проверки, но не проверяются самим интерпретатором.

Проверка типов во время разработки

Для повышения надёжности используют:

• mypy — статический анализатор типов
• pyright — встроен в VS Code
• pydantic — валидация данных с проверкой типов при выполнении

from pydantic import BaseModel

class User(BaseModel):
    name: str
    age: int

User(name="John", age="not a number")  # Ошибка валидации

Заключение

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