在 Haskell 中使用自定义数据类型

Question

我制作了这些自定义数据类型：

data BakedGoods = Muffin
                | Croissant
                | Cookie
                deriving (Eq, Show)

data Muffin = Blueberry
            | SaltedCaramel
            | Cheesecake

然后我尝试在返回 BakedGoods 价格的函数中使用它们：

price :: BakedGoods -> Int
price a 
  | a == Blueberry = 2

[...]

我不断收到此错误：

 Couldn't match expected type ‘BakedGoods’ with actual type ‘Muffin’

我明白了，但不幸的是我不知道如何解决它，你有什么想法吗？ :)

Answer 1

这对初学者来说有点混乱。

代数数据类型的形式如下： data typename = constructor1 | 构造函数2等

类型可以与构造函数同名，即使是不同的类型。 所以你的代码有两个不同的Muffin s - 一个叫做Muffin的类型（带有构造函数Blueberry ， SaltedCaramel和Cheescake ），以及一个用于类型BakedGoods的构造函数Muffin 。 就编译器而言，它们是完全没有联系的。

您想要的代码如下所示：

data BakedGoods = Muffin Muffin
    | ...

这意味着： BakedGoods类型有一个名为Muffin的构造函数，其中包含一个Muffin类型的字段。

然后你可以像这样模式匹配它：

price :: BakedGoods -> Int
price (Muffin Blueberry) = 2
...

这意味着：当参数（必须是BakedGoods ）具有匹配Muffin的顶级构造函数，其字段（类型Muffin ）匹配Blueberry ，则返回 2。

哈斯克林快乐！

Answer 2

如果你写

data BakedGoods = Muffin | …

那么这不是Muffin类型的数据构造函数与其他数据构造函数的联合。 你在这里只是说BakedGood s 有一个名为Muffin的数据构造函数，事实上有一个名为Muffin的类型并不重要。

您可以在Muffin数据构造函数中包装一个Muffin对象，例如：

data BakedGoods
  = Muffin Muffin  -- ← parameter for the Muffin data type
  | Croissant
  | Cookie
  deriving (Eq, Show)

然后，您可以对包裹在Muffin数据构造函数中的值执行模式匹配：

price :: BakedGoods -> Int
price (Muffin Blueberry) = 2

Answer 3

当你做

data BakedGoods = Muffin -- ...
data Muffin = Blueberry -- ...

您并不是说BakedGoods的数据构造函数应该包括所有Muffin的数据构造函数。 您实际上是说您应该创建一个新的Muffin数据构造函数，与Muffin类型完全无关，并且Muffin数据构造函数是BakedGood 。 如果要合并两者，则声明它们合并：

data BakedGoods = Blueberry
                | SaltedCaramel
                | Cheesecake
                | Croissant
                | Cookie

那么Blueberry将成为BakedGoods 。 但是，如果你想保留它们是松饼的事实，那么你可以制作一个MuffinFlavor类型并让你的Muffin包含一个MuffinFlavor ：

data BakedGoods = Muffin MuffinFlavor
                | Croissant
                | Cookie

data MuffinFlavor = Blueberry | SaltedCaramel | Cheesecake

现在您可以使用Muffin Blueberry制作松饼。