pythonmypy:float和int是与number.Real不兼容的类型

pythonmypy:float和int是与number.Real不兼容的类型,python,mypy,static-typing,subtype,Python,Mypy,Static Typing,Subtype,我不熟悉Python的静态类型模块mypy。我试图将int和float附加到一个数组中,我静态地将其输入为实数。但是mypy说它们与Real不兼容。我以为int和float是Real的一个子类型 data:List[Real]=[] 打开(路径“r”)作为文件: 对于文件中的行: line=line.strip() 如果主题=‘时间’: 数据追加(浮动(行)) 其他: data.append(int(line)) 错误消息: graph.py:56:错误:“list”的“append”的参数1

我不熟悉Python的静态类型模块
mypy
。我试图将int和float附加到一个数组中,我静态地将其输入为实数。但是
mypy
说它们与Real不兼容。我以为int和float是Real的一个子类型

data:List[Real]=[]
打开(路径“r”)作为文件:
对于文件中的行:
line=line.strip()
如果主题=‘时间’:
数据追加(浮动(行))
其他:
data.append(int(line))
错误消息:

graph.py:56:错误:“list”的“append”的参数1具有不兼容的类型“float”;预期的“真实”
graph.py:58:错误:“list”的“append”的参数1具有不兼容的类型“int”;预期的“真实”
请参阅,它建议只使用
float
作为类型提示。