Pyre: Fast Type Checking for Python

Facebook 开源并介绍了他们的 Python 快速类型检测工具 Pyre。大家都知道 Python 作为弱类型的编程工具，其编程友好性很大程度来源于此，然而工程化和安全的考量，却又不得不造个轮子去检测 Python 弱类型可能导致的安全问题，比较讽刺却又不得已而为了。