Mypy是Python的可选静态类型检查器。
通常可以理解，可调用对象的返回类型是协变的。当定义具有可调用属性的类型时，我确实可以使返回类型泛型和协变： 从输入导入
如何在 Python 的泛型类中拥有可选的 TypeVar？
我正在尝试编写一个简单的类型包装器来表示装饰器函数的接口： 从输入 import Protocol、TypeVar、Generic TIn = TypeVar('TIn', 逆变=True) TOut = TypeVar('...
在Haskell中我们可以使用rankN类型，如下所示： rankN :: (forall n.Num n => n -> n) -> (Int, Double) 等级N f = (f 1, f 1.0) python 中的 mypy 可以做同样的事情吗？ 我尝试了以下
在从 QTableView 继承的类中我有这个函数： 定义编辑（ 自己， 索引：QModelIndex， 触发器：QAbstractItemView.EditTrigger， 事件：可选[QEvent]， )...
考虑一个执行类型提升的函数，例如两个数字的简单乘法，两个数字都可以是 int 或 float def mul(a: int | float, b: int | float): # 返回类型？ 返回...
Django 与 mypy：如何解决由于扩展“AbstractUser”的自定义“User”模型类重新定义字段而导致的不兼容类型错误？
我有一个现有的 Django 项目，它使用扩展 AbstractUser 的自定义用户模型类。由于各种重要原因，我们需要重新定义email字段，如下： 用户类（AbstractU...
我有两个链接的抽象基类，应该一起子类化。为了举一个最小的例子，我们假设它是某个类 TobeProcessed，以及另一个类 Processor，它...
我正在尝试编写一个带有接受额外值的附加构造方法的类。这些额外的值计算起来很昂贵，并且在程序结束时保存，所以 .initialize()
在`TypeVar`上使用`Unpack`来动态生成函数签名
我正在尝试动态生成 _AbstractGameObject 子类的函数签名。我已经成功地尝试了在子类中解压具体的 TypedDicts，但是
在 Python 类型中，有没有一种方法可以指定允许的依赖泛型类型的组合？
我在 Python 中有一个非常小但通用（可能太多）的类，它实际上有两个约束在一起的泛型类型。我的代码（但打字不好）应该显示我的意图： 班级
我正在尝试实现一个注入 DBConnection 的装饰器。我面临的问题是我想支持两者：传递参数并依赖装饰器来注入它。我有...
我正在尝试定义使用协议键入的辅助函数，这些函数稍后将在 SQLAlchemy 2.0 映射类上使用。 就我而言，我需要 SQLAlchemy 类的特定映射属性（即 co...
在 python 3.11 (mypy 1.7.0) 中，我有一个构造动态 NamedTuple 类型的函数。 我首先尝试使用 Type[NamedTuple] 键入它，但这会导致 python 期望命名元组构造函数...
假设我定义了一个这样的装饰器： def my_decorator(func=None, *, param=42): 如果 func 为 None： 返回 functools.partial(my_decorator, param=param) ... 这个装饰器可以是你...
考虑这个类，它有一个变量状态，在方法 check_twice 中比较两次，并且它的值在方法 work 的两次检查之间发生变化： 导入枚举 类状态（枚举....
如何将可变变量视为“易失性”以进行并发代码中的静态类型检查？
考虑这个类，它有一个变量状态，在创建后 0.1 秒同时从 INIT 更改为 DONE。 check_twice 方法测试状态是否为 DONE，如果不是则重试...
我正在尝试询问有关用户定义类型的 isinstance 问题：ConstData = Union[int, str]: 从输入 import Union，可选 ConstData = 联合[int, str] def foo(x) -> 可选[ConstData]: ...
Mypy 不尊重 mypy.ini 中的设置，从 VS Code 调用时排除文件夹进行检查
我想从 mypy 检查中排除一个文件夹。 查看文档我在 mypy.ini 配置文件中尝试了以下配置 [我的] python_版本 = 3.8 排除 '/v...
预提交 python mypy 检查所有文件而不仅仅是提交的文件
我是预提交新手，但我希望它仅在暂存文件上运行挂钩。 flake8 挂钩属于这种情况，但 .pre-commit-config.yaml 文件中的 mypy 挂钩则不然： - 仓库：https://github.com/...
typing.TypeVar 类允许指定可重用的类型变量。使用 Python 3.12 / PEP 695，可以像这样定义具有类型变量 T 的类 A/B： A[T]类： ... B[T] 类： ....