Mypy: Как мне ввести словарь, в котором в качестве ключей используются строки, а значения могут быть либо строками, либо ⇐ Python

[Anonymous]

Я использую Python 3.8.1 и mypy 0.782. Я не понимаю, почему mypy жалуется на следующий код:

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

from typing import Union, List, Dict
Mytype = Union[Dict[str, str], Dict[str, List[str]]]
s: Mytype = {"x": "y", "a": ["b"]}

Mypy выдает следующую ошибку в строке 3:

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

Incompatible types in assignment (expression has type "Dict[str, Sequence[str]]", variable has type "Union[Dict[str, str], Dict[str, List[str]]]")

Если я изменю последнюю строку на s: Mytype = {"a": ["b"] mypy не будет жаловаться. Однако при добавлении еще одной строки s["a"].append("c") возникает ошибка:

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

error: Item "str" of "Union[str, List[str]]" has no attribute "append"

Как объяснить вышесказанное? Как мне ввести словарь, который имеет строки в качестве ключей, а значения могут быть строками или списками строк?
Нашел это: https://github.com/python/mypy/issues /2984#issuecomment-285716826, но до сих пор не совсем понимаю, почему происходит вышеупомянутое и как это исправить.
РЕДАКТИРОВАТЬ:
Хотя это все равно неясно, почему предложенная модификация Mytype = Dict[str, Union[str, List[str]]] не устраняет ошибку с помощью s['a'].append('c') I думаю, что подход TypeDict, предложенный в комментариях, а также в https://stackoverflow.com/a/62862029/692695, - это правильный путь, поэтому пометьте этот подход как решение.
См. аналогичный вопрос: Указание множественного значения в Dict[] для подсказок типа, предложенное в комментариях Георгия.

Подробнее здесь: https://stackoverflow.com/questions/628 ... -can-be-ei