Python：强制类型提示

Question

我想知道是否有办法在 Python 项目中强制执行类型提示？

目前，我正在使用mypy 预提交挂钩.pre-commit-config.yaml：

- repo: https://github.com/pre-commit/mirrors-mypy
  rev: v0.931
  hooks:
    - id: mypy

使用这个钩子，由于调用函数时的类型错误，我将（正确地）无法提交以下代码add：

def add(a: int, b: int) -> int:
    return a + b

add(a=1.0, b=2.0)

但是，使用上面的mypy和预提交钩子组合，类型提示仍然没有完全强制执行，我将能够在不使用类型提示的情况下提交以下代码：

def add(a, b):
    return a + b

我也很好奇，在动态类型语言（例如 Python）中强制执行类型提示是否是一个好主意？我知道我可以为我的项目选择一些静态类型语言（例如 Java），但是，我想使用带有强制类型提示的 Python 的原因是因为这允许我依赖现有的 Python 库（例如 Tensorflow），同时确保由于函数签名中指定了类型，所以编写的代码质量更好。

Answer 1

Mypy 公开了一系列选项，您可以设置这些选项来强制执行更严格或更宽松的类型检查，例如请参阅mypy 配置文档。对于你的情况可能是disallow_untyped_defs, disallow_incomplete_defs, disallow_untyped_calls

您有多个选项来设置它们，例如使用 mypy.ini 文件，或者如果您想将所有内容保留在 pre-commit.yaml 中，则可以添加多个命令行参数。对于你的具体情况，看起来像

- repo: https://github.com/pre-commit/mirrors-mypy
  rev: v0.931
  hooks:
    - id: mypy
      args: [--disallow-untyped-defs, --disallow-incomplete-defs, --disallow-untyped-calls]