mypy html报告的Legenda或文档？

Question

使用--html-report选项创建的mypy html报告显示带有绿色，黄色和红色背景颜色的类型检查源代码。当鼠标悬停在黄色和红色线条上时，它还会显示工具提示，例如＆＃34;此行上的任何类型：未注释（x1）＆＃34;，＆＃34;此行上的任何类型：显式（x6）未注释（ x2）＆＃34;和＆＃34;此行上的任何类型：省略的泛型（x3）＆＃34;。

是否有文档解释这一切意味着什么？我无法在https://mypy.readthedocs.io/

找到它

Answer 1

您可以在下面的链接中查看有关此内容的详细信息

https://github.com/python/mypy/blob/56ed5c36c2320eff96077d77ae7115bef60233ea/test-data/unit/reports.test

未注释

def a(x) -> None:  # Unannotated
    any_f(x)

省略的仿制药

def b() -> List:  # Omitted Generics
    return [1, 2, 3]

基本上，类型是列表，而不是列表中的元素类型

明确

def any_f(x: Any) -> None:  # Explicit
    pass

x: Any = 2  # Explicit

您明确地说类型是Any

(x6)基本上是指实例数