我已阅读，我可以通过使用一种称为reveal_type功能展现变量的类型，但我找不到如何使用它，或者从哪里导入。
我到底发现了如何使用它：你应该只是把，并在代码中使用reveal_type，并与mypy程序运行它。然后，它会记录一条消息，如下所示：
Revealed type is 'builtins.str*'
从mypy文档：
reveal_type仅由mypy理解和Python不存在，如果你尝试运行您的程序。你必须消除任何reveal_type通话，然后才能运行代码。 reveal_type始终可用，你不需要将其导入。
更多阅读：here。