我需要在不需要类型注释的情况下为 Python 实现静态类型检查（即使用类型推断），是否有任何指南或参考资料可以逐步解释它？
我阅读了 Hindley-Milner 算法，但我不确定它是否适用于 Python，因为它是为函数式语言设计的 另外，我试图了解像 Pyright 这样的流行工具是如何做到这一点的，但我没有找到任何特定的算法。