¿Ha habido casos de uso de anotaciones de tipos en sus proyectos?

Да, в проектах использовались аннотации типов для повышения читаемости кода и облегчения статической проверки. Например, в Python можно указать типы аргументов и возвращаемого значения функции:

from typing import List

def greet(names: List[str]) -> None:
    for name in names:
        print(f"Hello, {name}!")

Это помогает инструментам вроде mypy выявлять ошибки типов ещё до запуска программы.