Типизация Python для вложенного итератора в списке объектов с итерируемым свойством ⇐ Python

[Anonymous]

У меня довольно сложный вопрос о типизации Python. У меня есть функция (генератор), которая перебирает список объектов, а затем определенный атрибут каждого из этих объектов, например:

Код: Выделить всё

T = TypeVar('T')
S = TypeVar('S')

def iter_attribute(outer: Iterable[T], attribute: str) -> Iterable[S]:
for item in outer:
yield from getattr(item, attribute)

Как правильно передать тот факт, что T должен иметь итерируемый атрибут, называемый атрибутом, который создает объекты S? Кстати, mypy этим полностью доволен и не улавливает этого:

Код: Выделить всё

class A:
a: str
def __init__(self, a: str):
self.a = a

a: str
for a in iter_attribute([A('a'), A('b'), A('c')], 'b'):
print(a)

Как правильно это написать?


Подробнее здесь: https://stackoverflow.com/questions/786 ... e-property