大家是如何实时检查 Python 变量类型的？

我目前使用的 Python 实时类型检查方案是在 Microsoft Python Extension for VS Code 中启用 mypy --strict 检查，但是发现这个方案存在一些瑕疵，比如将鼠标悬停在某个变量名上方时 VS Code 不能详细提示它的类型（它只会把 Dict[str, int] 类型提示为 dict 类型）。

我还尝试过 PyCharm ，不过不知道是因为 PyCharm 本身做不到还是我没找对门路，我一直没能将它设置为实时使用 mypy 检查。

我现在想知道：

• 大家是如何实时检查 Python 变量类型的？

• Python 的类型检查体验真的没法达到 C++、C#、TypeScript 那样的程度吗？

回复前必读：

• 我想要的是 边写边检查，而不是在执行代码前才检查
• 我了解 Python 的 Type Hints 语法（ PEP 484 和 PEP 526 ）
• 不要回复“我不做类型检查”或者“没必要做类型检查”的言论