Mypy是Python的可选静态类型检查器。
让我们考虑以下两种语法：Foo类：x：int def __init __（self，an_int：int）：self.x = an_int和Foo类：def __init __（self，an_int：int）：self.x = .. 。
我有一个程序使用不同长度的元组类型的并集，它会动态检查元组的长度以精简类型。 Mypy无法识别更准确地知道变量的类型...
我正在尝试对代码的最新版本进行类型检查，并在命令行上使用vim和mypy中的ALE插件获得不一致的结果。在下面@aaron的评论之后，我签出了...
我需要创建一个类型类似于type.Any的Type，当通过类型检查器（mypy）进行查看时，却与type.Any有所区别。用例是一些漂亮的“元”代码，需要找到...
Python：如何按值编写bool参数的types.overload装饰器
我想问的示例代码如下。互联网上的所有示例均未尝试重载参数值。参数之一是布尔值，我想重载方法...
扫描mypy中的文件夹所得到的结果与扫描Python文件所得到的结果不同
我正在尝试对代码的最新版本进行类型检查，并在命令行上使用vim和mypy中的ALE插件获得不一致的结果。两者都应该给我相同，但我注意到ALE ...
我有以下问题。为了进行单元测试，我以这种方式生成资源文件的路径：file_name = os.path.join（os.path.dirname（os.path.abspath（__ file__）），'resources / ...] >
我如何在具有`__add__`方法的类型下约束typevar？
我想像下面这样声明：class Foo（Generic [T_ADDABLE]）：def __init __（self，a：T_ADDABLE）：self.a = def bar（self，b：T_ADDABLE）-> T_ADDABLE：print（ a，b）...
我的实际情况更复杂，但是MVCE来自键入import List def find_largest（numbers：List [int]）-> List [int]：“”“ >>> find_largest（[3，4，5，5 ，3，1，-2，4，3，3] ...
在下面的代码示例中，我们有一个dict，其中包含一个抽象基类的实例及其子类型的实例。从键入import Dict，联合类基数：def __init __（self）：...
考虑此模型的定义和用法：从django.db导入模型类User（models.Model）：名称：str = models.CharField（max_length = 100）def do_stuff（user：User）-> None：＃...
我想用具有类型化参数的抽象方法声明基类，以便实现类可以为该参数指定更特定的类型，例如：from abc import ABC，...
我有以下代码尝试：从mypackage.optional.xxx导入f1，f2，导入错误：从mypackage.optional.yyy导入f1，f2模块xxx和yyy提供相同的功能...
我有一个项目，其中包含一堆Python模块（.py文件）和一堆Jupyter Notebook（.ipynb文件），这些文件从Python模块中导入内容。我可以（假设我有__init__.py ...
我正在尝试使用mypy检查Python 3项目。在下面的示例中，我希望mypy将MyClass类的构造标记为错误，但事实并非如此。类MyClass：def __init __（self，...
Mypy返回了我不理解的错误（也无法以简化形式重新创建）。验证错误非常困难（给定问号）。有人知道这个错误是什么意思吗？ ...
Mypy返回了我不理解的错误（也无法以简化形式重新创建）。验证错误非常困难（给定问号）。有人知道这个错误是什么意思吗？ ...
我正在尝试设置mypy来警告我有关键入的所有错误，但是当我在声明时忘记添加显式键入时，我无法找出正确的配置来获取警告/错误...
我正在研究一个小模块，以通过使用函数调用作为注释来使用注释来包含有关类字段的额外数据（请参见下面的代码）。我正在玩一种在...
[假设第三方库正在使用.pyi存根文件实现类型提示：＃lib / __ init__.py def foo（）：return {“ a”：“ bar”，“ b”：123，“ c”：0.987} ＃lib / __ init __。pyi通过输入import ...