Зачем нужны типы данных?

Зачем нужны типы данных

Типы данных определяют, какие значения может содержать переменная и какие операции над ней можно выполнять. Это основа для безопасности, производительности и ясности кода.

Безопасность

Типизация предотвращает ошибки на этапе разработки:

from typing import List

def sum_numbers(nums: List[int]) -> int:
    return sum(nums)

sum_numbers([1, 2, 3])  # OK
sum_numbers([1, "two", 3])  # Type error (mypy обнаружит)

Производительность

Типы определяют, сколько памяти нужно выделить:

import sys

print(sys.getsizeof(5))  # int: 28 байт
print(sys.getsizeof(5.0))  # float: 24 байта
print(sys.getsizeof("hello"))  # str: 54 байта

Ясность кода

Типы документируют назначение переменных:

def process_order(order_id: int, items: List[str], total_price: float) -> bool:
    return True

Основные типы

from typing import List, Dict, Optional

# Числовые типы
age: int = 25
price: float = 19.99
is_active: bool = True

# Текст
name: str = "Alice"

# Коллекции
scores: List[int] = [85, 90, 78]
user: Dict[str, str] = {"name": "Alice", "email": "alice@example.com"}
tags: set = {"python", "web"}

# Может быть None
result: Optional[str] = None

Проверка типов

# Проверка в runtime
def validate(value: int) -> None:
    if not isinstance(value, int):
        raise TypeError(f"Expected int, got {type(value).__name__}")

# Проверка инструментом mypy
mypy your_file.py

Когда типизация критична

• Большие проекты (100+ файлов)
• Командная разработка
• Публичные API и библиотеки
• Критичный код (финансы, security)
• Долгосрочный поддерживаемый код

Заключение

Типы данных необходимы для безопасности кода, производительности приложения и ясности намерений разработчика. Они превращают скрытые ошибки в явные сообщения об ошибках на этапе разработки.