Как в Python реализуется и используется аннотация типов для функций или переменных?

В Python аннотации типов позволяют указывать ожидаемые типы аргументов функций и возвращаемого значения, а также типы переменных. Это помогает улучшить читаемость кода и позволяет инструментам статической проверки типов (например, mypy) выявлять ошибки.

Пример аннотации функции:

def greet(name: str) -> str:
    return f"Hello, {name}!"

Здесь name должен быть строкой, а функция возвращает строку.

Для переменных аннотации выглядят так:

age: int = 25
names: list[str] = ["Alice", "Bob"]

Аннотации не влияют на выполнение программы, они служат для документации и статического анализа.