组合类型=一个,另一个,或两者兼而有之？

Question

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

type DateTime = Date | Time | Date :+ Time

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

Answer 1

你刚刚做到了 - 当然有可能!

这就是我要做的:

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

有趣的是,这是一个bifunctor:

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.亚伯拉罕说,有一种叫做类型These的包Data.These,它包括Monad和Bifunctor实例,以及像一些真棒类型类实例Bifoldable和Bitraversable,是完全值得具有在偷看.