Haskell 任意类型类实例返回类型

Question

从 Haskell Book 关于 Monoids 的章节中，我正在为

编写快速检查测试

semigroupAssoc :: (Eq m, S.Semigroup m) => m -> m -> m -> Bool
semigroupAssoc a b c =
    (a S.<> (b S.<> c)) == ((a S.<> b) S.<> c)

type IdentAssoc = Identity String -> Identity String -> Identity String -> Bool

, 调用

quickCheck (semigroupAssoc :: IdentAssoc)

这是任意类型类实例

instance (Arbitrary a) => Arbitrary (Identity a) where
    arbitrary = do
        a <- Test.QuickCheck.arbitrary
        return (Identity a)

我的问题是，在我的任意实例中，我可以返回 (Identity a) 或只返回 a。 (Identity a) 是正确的，但只是 a 没有给出编译器错误，并在运行时导致无限循环。这是为什么？

Answer 1

类型推断将 任意 调用更改为指向我们现在正在定义的相同实例，从而导致无限循环。

instance (Arbitrary a) => Arbitrary (Identity a) where
   arbitrary = do
        x <- Test.QuickCheck.arbitrary  -- this calls arbitrary @ a
        return (Identity x)

instance (Arbitrary a) => Arbitrary (Identity a) where
   arbitrary = do
        x <- Test.QuickCheck.arbitrary  -- this calls arbitrary @ (Identity a)
        return x

每次我们调用类方法时，编译器都会推断调用哪个实例。

在前一种情况下，编译器会推断出x::a(只有这种类型才能进行代码类型检查!)，因此它会调用arbitrary @a。

在后一种情况下，编译器推断出x::Identity a(只有这个类型使代码类型检查!)，因此它调用arbitrary @(Identity a)，导致无限循环。