组合类型 = 一种、另一种或两者兼而有之？

Question

我想知道这在 Haskell 中是否可行：

type DateTime = Date | Time | Date :+ Time

...因此它可以是特定日期、特定时间或由两者组成的复杂值。

Answer 1

你刚刚成功了——当然有可能！

这就是我要做的：

data Both a b
    = First a
    | Second b
    | Both a b

有趣的是，这是一个双函子：

import Data.Bifunctor

instance Bifunctor Both where
    bimap f _ (First a)  = First (f a)
    bimap _ g (Second b) = Second (g b)
    bimap f g (Both a b) = Both (f a) (g b)

正如J. Abrahamson 所说，Data.These 包中有一个名为These 的类型，其中包括Monad 和Bifunctor 实例，以及一些很棒的类型类实例，如Bifoldable 和Bitraversable完全值得一看。