如何在 Python 中创建类似 Haskell 的求和类型？答案

【问题标题】：How to create Haskell-like sum types in Python?如何在 Python 中创建类似 Haskell 的求和类型？
【发布时间】：2021-05-24 06:19:47
【问题描述】：

如果我在 Haskell 中有一些简单的求和类型，比如

data Owner = Me | You

如何用 Python 方便地表达它？

【问题讨论】：

这能回答你的问题吗？ How to specify multiple return types using type-hints
@Georgy 不幸的是没有。该答案显示了如何表达classes 的值，即int 或str。我想将其限制为values，即1 和2，或者字符串me 和you。
哦，我明白了。那么你正在寻找typing.Literal。这是一个合适的重复问题：Type hint for a function that returns only a specific set of values
您在寻找静态类型还是运行时类型？枚举可能适合后者。
对于其他评论者，发帖者正在询问标记的联合或总和类型en.wikipedia.org/wiki/Tagged_union

【解决方案1】：

Enum 或 Union 最接近 Python 中的 tagged union 或 sum type

from enum import Enum

class Owner(Enum):
     Me = 1
     You = 2

import typing

class Me:
    pass
class You:
    pass

owner: typing.Union[Me, You] = Me

【讨论】：

如果您可以尝试翻译问题中给出的示例，将会很有帮助。虽然这些构造在理论上很接近，但我并不完全清楚这两者是否真正符合所需的效果。由于 Python 值本身是用它们的类型“标记”的，因此可以通过其他方式实现标记联合的效果——例如，什么都不做。