Python泛型类与Union类型交互的mypy兼容设置及术语咨询

问题1：如何让类型检查器识别Wrapper和Union的特殊交互特性 #

mypy对Type类的Union匹配规则是内置硬编码的特殊逻辑，目前没有面向自定义泛型的官方配置或装饰器可以直接开启相同特性，你可以用两种方案解决实际报错：

• 调整函数返回值标注：将wrapper_union的返回类型直接标注为Union[Wrapper[str], Wrapper[int]]，完全符合代码实际逻辑，可直接消除报错
• 显式类型断言：如果不方便修改返回值标注，可以用cast做强制类型转换：

  from typing import cast
  w_u: Union[Wrapper[str], Wrapper[int]] = cast(Union[Wrapper[str], Wrapper[int]], wrapper_union())
  

如果你定义的Wrapper是通用的单值不可变包装器，也可以到mypy官方仓库提交特性请求，申请增加这类泛型对Union分配的支持开关。

问题2：该特性的标准命名 #

这个特性在类型理论中的标准术语是类型构造器对Union的分配性，对应的规则是：对任意类型A、B，类型构造器F满足 F[Union[A, B]] ≡ Union[F[A], F[B]]，你之前提到的交换性描述不准确，分配性更符合该规则的本质，和代数中乘法对加法的分配律逻辑一致。

内容的提问来源于stack exchange，提问作者Harald Husum