Mypy是Python的可选静态类型检查器。
mypy 声明 IO[bytes] 与 BinaryIO 不兼容
考虑以下代码: 从 io 导入 TextIOWrapper 从输入导入列表 从 zip 文件导入 Zip 文件 def read_zip_lines(zippath: str, 文件名: str) -> List[str]: 与 ZipFile(
默认为 None 的参数是否应该始终被类型提示为Optional[]? [重复]
比较这两个函数: 从输入 import 可选 def foo1(bar: str = None) -> None: 打印(条) def foo2(bar: 可选[str] = None) -> None: 打印(条) Mypy 不会抱怨...
asyncio 事件循环的平台无关的 mypy 类型注释是什么?
我想编写使用 asyncio 并在多个平台上工作的 mypy 类型的代码。具体来说,我经常有显式绑定到事件循环的类和方法。我想提供一个类型
List[Dog] 与 List[Animal] 不兼容,其中 Dog 继承自 Animal
Python 3.6.5 和 mypy 0.600 我写了代码: 从输入导入列表 动物类(): 经过 狗类(动物): def __init__(self) -> 无: 极好的() def bark(self) -> 无...
Python 3.6.5 和 mypy 0.600 我写了代码: 从输入导入列表 动物类(): 经过 狗类(动物): def __init__(self) -> 无: 极好的() def bark(self) -> 无...
foo.py: kwargs = {“a”:1,“b”:“c”} def Consumer(*, a: int, b: str) -> 无: 经过 消耗(**kwargs) mypy foo.py: 错误:“消费”的参数 1 有
让我们考虑以下两种语法变体: 类 Foo: x:整数 def __init__(self, an_int: int): self.x = an_int 和 类 Foo: def __init__(self, an_int: int): ...
我有以下代码: 从输入 import Callable MyCallable = Callable[[对象], int] MyCallableSubclass = Callable[['MyObject'], int] def get_id(obj: 对象) -> int: 返回id(对象) ...
我越来越多地使用类型提示和 mypy。然而,我对何时应该显式注释声明以及何时可以由 mypy 自动确定类型有一些疑问。 前任: 定义
我尝试按照文件或类似文件对象的类型提示?中的建议输入 Typing.IO,但它不起作用: from __future__ 导入注释 从临时文件导入命名临时文件 从输入导入IO ...
考虑以下代码示例: 从输入 import Dict, Union def count_chars(string) -> Dict[str, Union[str, bool, int]]: 结果 = {} # 类型:Dict[str, Union[str, bool, int]] 如果
如何对字典进行子类化以使子类支持泛型类型提示?它需要在各方面表现得像字典,并支持键和值的类型提示。 子类
我正在尝试 Python 3.5 引入的打字提示,并在使用本地存根作为 mypy 的打字提示时遇到了问题。 我做的实验是创建 kk.py 包含 def type_check(a): 爸...
如何使用 AsyncGenerator 和 AsyncContextManager 正确指定类型提示
考虑以下代码 导入上下文库 导入 abc 导入异步 从输入导入 AsyncContextManager、AsyncGenerator、AsyncIterator 类基: @abc.abstractmethod 异步定义
我正在尝试向我的 SQLAlchemy 脚本添加类型提示: 连接字符串:str =“sqlite:///:内存:” 引擎=创建_引擎(连接字符串) 会话=会话(绑定=引擎) Reveal_type(en...
如何为Mypy类型注释指定OrderedDict K,V类型?
我正在使用 Python 3.5 和 Mypy 对我的脚本进行一些基本的静态检查。最近我重构了一些方法来返回OrderedDict,但是遇到了“'type'对象不是subscrip...
由于 python 是一种动态类型语言,我希望它可以隐藏变量类型提示。 是否可以在某个时刻更新变量的类型提示? 在下面的例子中...
我有一些 pydantic BaseModel,我想用值填充它们。 从枚举导入枚举 从输入导入 Dict、List、Literal、Type、Union、重载 从 pydantic 导入 BaseModel 班级
关于以下代码: 从输入导入通用 从输入导入 TypeVar 从输入 import Reveal_type T = 类型变量('T') 类字段(通用[T]): """带有
每当 mypy 尝试解析 Unions 时,它似乎都使用代码流来解析类型: 导入类型为typ def foo(x:typ.Union[int, None] = None, y:typ.Union[int, None] = None) -> int: ...