mypy 相关问题

Mypy是Python的可选静态类型检查器。

提示假设复合策略的类型

我正在使用假设库，我想用类型提示来注释我的代码。文档提到假设.strategies.SearchStrategy 作为所有搜索策略的类型。采取...

python mypy python-typing python-hypothesis

回答 2 投票 0

提示复合假设策略的类型

我正在使用假设库，我想用类型提示来注释我的代码。文档提到假设.strategies.SearchStrategy 作为所有搜索策略的类型。采取...

python mypy python-typing python-hypothesis

回答 2 投票 0

使用 Hypothesis 库编写下游 Python 类型提示

我正在使用假设库，我想用类型提示来注释我的代码。文档提到假设.strategies.SearchStrategy 作为所有搜索策略的类型。采取...

python mypy python-typing python-hypothesis

回答 1 投票 0

如何输入提示通用 numpy 数组？

有什么方法可以将 Numpy 数组键入为通用数组吗？我目前正在使用 Numpy 1.23.5 和 Python 3.10，并且无法输入以下示例的提示。将 numpy 导入为 np 将 numpy.typing 导入为 np...

python numpy mypy python-typing

回答 1 投票 0

Numpy 类型重载

我想向接受 np.float32 数组或 np.float64 数组并返回相同类型的函数添加类型提示：从输入导入重载，联合将 numpy 导入为 np 导入 numpy.typ...

python numpy mypy python-typing

回答 1 投票 0

StrEnums 和类型缩小 (mypy)

我正在与 StrEnums 的类型缩小作斗争总结我的问题我有一些抽象基类从 abc 导入 ABC，抽象方法从枚举导入 StrEnum 动物类（ABC）： @静态方法...

python mypy python-typing python-3.11

回答 1 投票 0

如何为 bool 参数按值编写 types.overload 装饰器

我想问的示例代码如下。互联网上的示例都没有尝试超载参数值本身。其中一个参数是 bool 值，我想重载一个方法

python mypy python-typing pyright

回答 2 投票 0

给定 list[int] | 的参数list[str]，如果元素[0]是int，我不能确定列表是list[int]，反之亦然吗？

我有一个python脚本并尝试向代码添加类型提示，以下是使用mypy的示例代码（没有类型提示，代码可以工作）。 value_int: 列表[int] = [1, 2, 3, 4] value_str: 列表[s...

python mypy

回答 2 投票 0

由于转换动态添加 is_* 属性，处理 mypy [attr-defined] 错误的正确方法是什么？

MRE 从转换导入机器交易系统类： def __init__(自身): self.machine = Machine(model=self, states=['RUNNING'], 初始='RUNNING') def check_running(self) ->...

python mypy python-typing pytransitions

回答 1 投票 0

如何输入注释可选类类型参数

我有以下代码从输入导入 TypeVar、类型、重载 T = 类型变量('T') @超载 def foo(bar: 类型[T]) -> T: ... @超载 def foo(bar: 类型[T] | 无) -> T |没有任何： ... ...

python mypy python-typing

回答 1 投票 0

如何将类型约束为Python中子类的联合？

我有一个 Foobar 类，有几个子类，比如 FoobarAlpha 和 FoobarBeta 我知道如何定义一个类型 AnyFoobar = TypeVar("AnyFoobar",bound=Foobar) 它将匹配 F 的任何子类...

python mypy python-typing

回答 1 投票 0

Mypy 不会忽略多个错误

使用以下配置文件 mypy 不会忽略覆盖错误，而只会忽略导入类型的错误 [我的] disable_error_code = 导入非类型，覆盖指定多个值的正确方法是什么...

python mypy

回答 1 投票 0

如何在Python中将类型约束为子类的联合？

我有一个 Foobar 类，有几个子类，比如 FoobarAlpha 和 FoobarBeta 我知道如何定义一个类型 AnyFoobar = TypeVar("AnyFoobar",bound=Foobar) 它将匹配 F 的任何子类...

python mypy python-typing

回答 1 投票 0

mypy Reveal_type 的单元测试

我在遗留代码（python 库：music21）中有一些要点，它使用大量重载和通用变量来显示/类型检查 t.Sequence 中的所有子元素都属于特定类型。 ...

pycharm mypy python-typing

回答 2 投票 0

numpy 与 mypy：索引 NDArray 返回 Any 类型

是否可以索引 numpy 数组至少接收相同的类型？通过 mypy 运行以下代码会显示以下类型：将 numpy 导入为 np 从 numpy.typing 导入 NDArray 一个...

python arrays numpy mypy

回答 1 投票 0

Python 类型中的协变和不变集合

我在Python中遇到的一个问题是List类型是不变的——这意味着它只能保存特定类型的对象，否则你会得到一个类型错误（例如当运行时...

python mypy python-typing

回答 2 投票 0

输入list[T]，允许T和派生类Python MyPy

我在Python中遇到的一个问题是List类型是不变的——这意味着它只能保存特定类型的对象，否则你会得到一个类型错误（例如当运行时...

python mypy python-typing

回答 1 投票 0

在泛型函数 python 中输入 list[T]

我在Python中遇到的一个问题是List类型是不变的——这意味着它只能保存特定类型的对象，否则你会得到一个类型错误（例如当运行时...

python mypy typing covariant

回答 1 投票 0

如何向动态创建的类添加类型注释？

在一个应用程序中，我有生成动态类的代码，这大大减少了重复代码的数量。但是为 mypy 检查添加类型提示会导致错误。考虑

python mypy

回答 2 投票 0

通过对单成员枚举进行不平等检查来缩小类型仅适用于某些类型的联合

考虑：从数据类导入数据类从 uuid 导入 UUID 从枚举导入枚举 E 类（枚举）：米=“米” @数据类 A类： e：str |乙 a = A(E.m) def f(x: str) -> 否...

python mypy python-typing

回答 1 投票 0

mypy 相关问题

最新问题