haskell - 在 Haskell 中使用包装器的混合类型列表

Question

有没有办法通过用另一种类型包装类型来创建混合类型列表？

举个例子，如果我有两种数据类型，Cat和Dog ，我可以使用 Pet 之类的东西列出猫和狗的列表吗？ wrapper ？我知道这可以使用代数数据类型来完成，但我还希望其他包装器可用，例如 Animal .

我想使用它的基本方法如下:

data Cat = Cat
data Dog = Dog
data Cow = Cow

data Pet a = Pet a
data Animal a = Animal a

pets = [Pet Cat, Pet Dog]
animals = [Animal Cat, Animal Dog, Animal Cow]

有办法做到这一点吗？我也在考虑是否可以使用类型类。

Answer 1

是的。你会使用这样的东西:

data Pet = ItsACat Cat | ItsADog Dog

pets = [ItsACat Cat, ItsADog Dog]