python 推理引擎_PySonar：Python的类型推理机和索引器

Python部落组织翻译，禁止转载，欢迎转发

PySonar是Python的类型推理机和索引器。它包括强大的类型系统和复杂的跨过程分析。相比风格检查工具或者IDE，PySonar以更深的层次分析程序并产生更精准的结果。PySonar比传统的IDE解决更多的名字。目前针对Python标准库的解析率大概是97%。

示例

为了快速感受PySonar可以干什么，这里是一小部分Python标准库的样本分析结果。

有什么？

强大的类型系统。

除了程序设计语言中的常见类型，PySonar的类型系统包括union类型和交叉类型—在我的PL搜索中发现的最强大的元素中的两个。程序设计语言中很少使用它们。我只知道有两种语言静态检查union类型： Typed Racket和Ceylon。不同于这些语言，PySonar没有任何类型的注解可以工作。这意味着所有的类型通过跨过程分析。

控制流程感知跨过程分析。

由于Python具有动态多态性语义，不包含类型注解，那么模块式推理系统如Hindley-Milner系统 将不起作用。PySonar第一版中我实际实现一个HM-like系统，但它没有很好的工作。因此，通过跨过程分析所有类型，它遵循的是控制流程和一些其它方面的语义。

Python的动态处理。

Python静态分析很难，因为它有很多的动态特征。他们有助于程序简洁而灵活，但他们也使自动推理Python程序变难。有些特性可以合理的处理，有些却不能。对于不可判定的代码，PySonar尝试报告所有已知的可能性。例如，它可以推断出包含可能包含的所有可能类型的union类型：