Вот несколько идей, которые сейчас двигают экосистему Python вперёд:
1️⃣ AI + Type Checking = меньше багов
Оказалось, что AI пишет код заметно лучше, если после каждого изменения получает ошибки типизации.
Например:
def add(a: int, b: int) -> int:
return a + b
add("1", 2)
Type checker сразу покажет проблему ещё до запуска.
2️⃣ Проверка размеров тензоров прямо в типах
Одна из самых сильных идей для ML.
Вместо комментариев:
x # (B, T, C)
можно будет писать:
x: Tensor[B, T, C]
И Python сможет предупреждать:
❌ несовместимые размеры матриц
❌ ошибки reshape
❌ неправильные tensor operations
3️⃣ Intersection Types — комбинация типов без лишнего кода
Сегодня часто приходится создавать отдельные
Protocol.В будущем возможно так:
Closeable & Iterable
То есть объект должен быть и закрываемым, и итерируемым одновременно. Без создания новых классов ради одной аннотации.
4️⃣ Типы станут программируемыми
Появляется идея динамически менять типы.
Например:
Partial[User]
может автоматически превратить:
class User:
name: str
age: int
в:
{
"name": str | None,
"age": int | None
}
Очень похоже на utility types в TypeScript.
5️⃣ Главное изменение мышления
Раньше типизация в Python была “nice to have”.
Сейчас она постепенно превращается в инструмент проектирования системы:
- ловит ошибки раньше
- помогает AI писать код
- делает большие проекты безопаснее
- улучшает DX для библиотек и ML
🖥 Подробнее
📍 Наш курс по Питону
Библиотека питониста
#буст