擅长:python、mysql、java
<p>似乎向<code>go</code>函数添加类型注释会使mypy正确地发现问题:</p>
<pre><code>$ mypy -c 'from typing import List, Tuple
x: List[str] = []
y = ["world"]
z = ["hello"]
def go(boop: str) -> Tuple[str, List[str]]:
return f"{boop}!", y
x = list(map(go, z))
print(x)'
<string>:10: error: Argument 1 to "map" has incompatible type "Callable[[Any], Tuple[str, List[str]]]"; expected "Callable[[str], str]"
Found 1 error in 1 file (checked 1 source file)
</code></pre>