python-typing - 如何在 Python 中创建类似 Haskell 的求和类型？

Question

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

data Owner = Me | You

如何以方便的方式在 Python 中表达它？

Answer 1

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

枚举

from enum import Enum

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

联盟

https://docs.python.org/3/library/typing.html#typing.Union

import typing

class Me:
    pass
class You:
    pass

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