python - 为什么 mypy 在 MonkeyType 自动注释的模块上失败？

Question

假设有以下模块和脚本文件:

mymodule.py

# Module to be annotated by MonkeyType
def add(a, b):
    return a + b

myscript.py

from mymodule import add

add(2, 3)
add('x', 'y')

使用 MonkeyType 自动注释模块使用 Ubuntu 终端的模块。

$ monkeytype run myscript.py
$ monkeytype apply mymodule

mymodule.py 现在已使用添加的注释进行更改。

# Module annotated by monkeytype
from typing import Union

def add(a: Union[int, str], b: Union[int, str]) -> Union[int, str]:
    return a + b

但是如果我运行 mypy ，静态类型检查器，执行因 2 个错误而终止。 为什么会出现这种情况？

$ mypy mymodule.py
mymodule.py:4: error: Unsupported operand types for + ("int" and "str")
mymodule.py:4: error: Unsupported operand types for + ("str" and "int")
mymodule.py:4: note: Both left and right operands are unions
Found 2 errors in 1 file (checked 1 source file)

顺便说一句，我使用 arch Python 3.8。

Answer 1

不能保证 MonkeyType 将生成的类型注释一定是正确的:使用运行时信息推导类型是一种具有多个基本限制的技术。

引用自述文件:

MonkeyType’s annotations are an informative first draft, to be checked and corrected by a developer.

在这种特殊情况下，类型不正确，因为类型签名意味着执行 add("foo", 3) 是可以的，即使这最终会导致运行时崩溃:你可以'将字符串和整数相加。