Question

我有以下声明：

data Two a b = Two a b deriving (Eq, Show)

instance (Semigroup a, Semigroup b) => Semigroup (Two a b) where
  (Two a b) <> (Two c d) = Two (a <> c) (b <> d)

并在前奏中尝试过：

*Main First Lib MonoidLaws Semi>   (Two a b) <> (Two c d) = Two (a <> c) (b <> d)

<interactive>:10:3: error:
    * Occurs check: cannot construct the infinite type: t1 ~ Two t1 t1
      Expected type: t1 -> t -> b
        Actual type: Two t1 t1 -> Two t t -> Two b b
    * Relevant bindings include
        (<>) :: t1 -> t -> b (bound at <interactive>:10:3)

如何在前奏中使用mappend Semigroup函数作为Two数据类型？

Answer 1

尝试使用Semigroup的实例，例如List。

例如：

> (Two "1" "2") <> (Two "3" "4")

Two "13" "24"

在您的尝试/示例中，a和b，c和d未定义，因此Haskell将其视为变量。因为你在它们之间使用=，所以假设你想要进行模式匹配，所以它试图将它们与自己匹配，这会导致无限循环（因为这是完全有效的Haskell - 用术语来定义值）他们自己）。但这会导致错误，因为它意味着无限的类型，它看起来肯定不是你想要的。

可能值得从一些更简单的事情开始。我帮助创作的一本好的基础书是http://happylearnhaskelltutorial.com，但这并不涉及实例化你自己的类型类。已经说过，它会让你对模式匹配，变量，类型和值有一个相当好的理解，在你继续理解类型类足以构建自己的实例之前，你需要它们。

它可以指'Data.Monoid。＆lt;＆gt;＆＃39;

1 个答案: