Mypy 类型检查器不适用于整数和布尔值列表[重复]

Question

from typing import List

if __name__ == '__main__':
    a: int = 3
    b: List[int] = [1, 2, True]
    c: List[str] = ["1", "2", 35.5]
    a = False

它只给我一个c 列表的警告，所以如果我把它注释掉，它会声称“成功：在 1 个源文件中没有发现问题”。但这显然是错误的，不是吗？

我应该使用什么编辑器、插件或其他任何东西在 Python 中进行静态类型检查？

这里有一些证据：

Answer 1

原因是True 和False 与整数1 和0 相同。

因此 Mypy 无法区分 [1, 2, True] 和 [1, 2, 1] 以及 a = False 和 a = 0。

另见：

• MyPy gives no warning on clear type error, am I holding it wrong?
• Is False == 0 and True == 1 an implementation detail or is it guaranteed by the language?