PyrePython 类型检查工具认领

Pyre 是一个快速、可扩展和高性能的 Python 类型检查工具，适用于大型的 Python 3 代码库，旨在通过在终端或编辑器中以交互方式标记类型