Python中的静态类型检查：冲突的替代方案？

今天，我介绍了在Python中使用静态类型检查的多种方法（由。它列出了，和。然后我找到了另一个，来自谷歌，叫做

---

这些替代方案冲突吗？他们中有人依赖其他人吗？它们中的任何一个（子集）会使其他选项变得不必要吗？

您提到的前三个选项是相关的。Python3.5中引入的类型提示（作为的结果）和Python2.7支持的类型提示（通过存根文件）的灵感来自MyPy项目。整个系统目前正在与MyPy一起开发。Python3.6中引入的变量类型提示是该过程的一部分：它们与never MyPy版本完全一致。pytype似乎是为同一类型提示系统创建的另一个静态分析器。换句话说，MyPy和pytype是为同一类型系统设计的