我有以下函数，它给定一个形式的字符串，将提取 a、b 和 c 之后的数字。问题是，对于我的用例，输入字符串可能不包含 c，因此没有要提取的数字。'a-02/b-03/foobarbaz_c-04' ...

我正在处理时间序列，并希望按日期/时间检索和切片。理想情况下，我会利用现有的 [：] 语法。 例如（见最后一行）： from datetime import datetime from typin...

在解决 Python 聊天中的半相关问题时，我在 mypy 中遇到了一些我不理解的行为。 from typing import Union, List, Dict def f(x: Union[ ...

例： from typing import TypedDict class MyType(TypedDict): a: int b: int t = MyType(a=1, b=2) t....

问题 如何只键入 Protocol 方法的第一个位置参数并让其他参数取消类型化？ 例如，有一个名为的协议，该方法的名称只需要第一个位置参数是 int，而让其余参数是非类型化的。 以下类将正确实现它...

我有一个（嵌套的）列表推导式，并收到来自 mypy 的错误。 在我的列表理解中，我正在迭代一个列表，该列表保证仅包含两种类型的实例（不实现相同的基础;在下面的示例中称为 和）。 这两种类型的实例都保...

将其交叉发布到 SO，因为该问题已被 Github 上的维护者在 repo 上关闭 https://github.com/pre-commit/pre-commit/issues/2951 而没有解决...

我正在尝试匹配 a 的值，并让 mypy 执行详尽性检查。下面是一个最小的工作示例：Union t: tuple[int, float] | str match t: case str(): p...

我正在尝试配置预提交以避免目录app/test/ 我可以直接在钩子上排除它，例如avec mypy： 在cmd行中：mypy . --exclude ^app/test/$ 在 pre-comm...

MyPy （v 1.1.0） 似乎因 TypeAlias 而失败。 StrBytes: TypeAlias = str | bytes var: type[StrBytes] = StrBytes ...