Beam Python对Sequence类型未触发预期类型检查错误，是否符合预期？

现象是否符合预期？ #

是，这个现象符合Beam当前类型检查逻辑的设计。原因在于：

• Beam的类型检查系统对**抽象泛型类型（如Sequence）和具体容器类型（如List）**采用了不同的校验策略：
  • 当使用具体类型List[int]时，类型检查器能明确识别出管道中传递的单个int元素与List[int]类型不匹配，因此触发类型错误。
  • 而Sequence作为Python的抽象基类，Beam当前的类型检查器并未对其进行严格的参数类型匹配校验，因此不会触发错误。
• 官方文档中提到“Sequence属于支持的类型”，这里的“支持”指的是允许在类型注解中使用该类型，而非针对这种类型不匹配场景的严格校验机制。

能否添加警告提示？ #

目前Beam默认的类型检查器暂未针对这类场景提供内置警告，但可以通过两种方式实现类似效果：

• 启用更严格的mypy配置（例如添加strict=True），配合Beam的mypy插件，能够捕获到单个int无法赋值给Sequence[int]的类型不匹配问题。
• 可以向Beam社区提交功能需求，建议在类型检查中添加针对抽象泛型类型与输入元素类型不匹配场景的警告或错误提示。

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