Mypy是Python的可选静态类型检查器。
我正在尝试正确输入提示假设的状态测试示例: 进口舒蒂尔 导入临时文件 从集合导入defaultdict 将假设.策略导入为 st 来自假设.数据库
我正在向我维护的包添加类型注释。根据 PEP484,类型注释的存根文件 (.pyi) 可以与实际代码一起分布在同一目录中,也可以分布在第三个目录中。
为什么 mypy 为我的任何导入找到“没有类型提示或库存根”?
我正在开发一个代码库,其中有很多由以前的开发人员编写的类型提示。在某些时候,我注意到这些提示没有进行类型检查,并且我需要向
如何正确键入注释自定义 MutableMapping 实现?
我有以下子类 MutableMapping: 输入 import Hashable、Any、MutableMapping 从 _typeshed 导入 SupportsKeysAndGetItem 类 MyMutableMapping(MutableMapping[Hashable, Any]...
使用 Mapping、Hashable 键入函数,以便它接受带有 python Mypy 的字典
我正在尝试输入一个可以变化的字典 - 并认为 Mapping、Hashable 的工作方式如下: 从输入导入 Hashable、映射 def f(x : 映射[Hashable, str]) -> 无:
mypy 错误:Python 数据类中 +(“Self”和“A”)[运算符] 不受支持的操作数类型
我正在开发一个依赖严格类型提示的项目。我正在处理的最小代码示例将返回此 mypy 错误: error.py:15: 错误: + 不支持的操作数类型 ("Sel...
我有这个代码: 类东西(): FLAG_FOO = 1; 标志栏=2; 标志_乔=4; def call (self, flags: int) -> 无: ... Thing.call() 方法应该只接受一个或多个
在 Python 中创建绑定到 Exception 的泛型类型参数
我正在尝试为异常创建一个泛型类型,以发送到方法。这就是我目前所拥有的: TE = TypeVar("TE", 边界=异常) 我会这样注释这个论点:
我有一个(嵌套)列表理解,并从 mypy 收到错误。 在我的列表理解中,我正在迭代一个列表,该列表保证仅包含两种类型的实例(这并不意味着......
我正在尝试将类型注释添加到具有链接的类似节点的类的库中,并且我面临以下问题的更复杂版本。 考虑下面的通用函数: T_contra = Ty...
我在代码中经常遇到这样的情况,我想定义重写其基类方法的子类,同时返回原始类型提示的特定子类型...
使用 python 3.8 和 mypy 1.4.1,我收到 mypy 警告 预期类型 'Dict[str, float]',却得到 'Dict[str, Tuple[float, float, float]]' 当使用多个返回值(作为元组)并添加...
我想输入提示具有未知或变化结构的 JSON 对象(从外部 API 拉入)。我想尽可能避免使用 Any 或像cast() 这样的解决方案。 我相信是对的...
mypy 通过预提交 - 重复的模块名称“package.module.py”(和“package\module.py”)
我有以下回购结构 我的仓库/ .github/ 棉绒/ .mypy.ini文件 .pre-commit-config.yaml 我的包裹/ __init__.py 主程序 分包/ ...
我正在寻求重构我贡献的名为 Pydra 的数据流引擎的函数任务装饰器,以便可以使用 mypy 对参数类型进行检查。基本上,我想捕获功能
是否可以在 Python 中创建一个子状态类型来删除文字类型的第一部分?
我有一个 Python 文字类型,其中包含各种句点分隔的字符串。我还想有一个 Literal 类型,它包含相同的字符串但没有第一个以句点分隔的部分。我
我正在尝试编写一个名为 Singleton 的元类,当然,它实现了单例设计模式: 单例类(类型): def __new__(cls, name, bases = None, attrs = None): 如果...
Python - 用 mypy(静态类型检查器)装饰实例方法
我刚开始使用 mypy 作为我的 python 项目的静态类型检查器,我在尝试为实例方法定义装饰器时遇到了麻烦,我想在其中访问实例属性。我...
我无法理解为什么 mypy 在以下示例中会抛出错误。 将 numpy 导入为 np 从键入导入序列 def compute(x: Sequence[float]) -> bool: # 一些计算...
我在 Jupyter Notebook 中运行了以下代码: %load_ext nb_mypy 从键入 import Any, List, Union, TypeVar T = TypeVar("T",int,str) def first(container: List[T]) -> T: 返回