haskell 错误 "No instance for (Eq a0) arising from a use of..."

Question

有人知道为什么下面的代码在“matchListWith eq [] []”中失败吗？

--失败.hs

matchListWith :: (Eq a) => (a -> a -> Bool) -> [a] -> [a] -> Bool
matchListWith f (x:xs) (y:ys) = (f x y) && (matchListWith f xs ys)
matchListWith _ []     []     = True
matchListWith _ _      _      = False

eq :: (Eq a) => a -> a -> Bool
eq a b = (a == b)

main = do
   print (matchListWith eq [1, 3] [1, 3])
   print (matchListWith eq [1, 3] [1])
   print (matchListWith eq [1] [1, 3])
   print (matchListWith eq [3, 1] [1, 3])
   print (matchListWith eq [1] [])
   print (matchListWith eq [] [])

--eof

错误是:

failure.hs:16:11:
    No instance for (Eq a0) arising from a use of `matchListWith'
    The type variable `a0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance Eq a => Eq (GHC.Real.Ratio a) -- Defined in `GHC.Real'
      instance Eq () -- Defined in `GHC.Classes'
      instance (Eq a, Eq b) => Eq (a, b) -- Defined in `GHC.Classes'
      ...plus 22 others
    In the first argument of `print', namely `(matchListWith eq [] [])'
    In a stmt of a 'do' block: print (matchListWith eq [] [])
    In the expression:
      do { print (matchListWith eq [1, 3] [1, 3]);
           print (matchListWith eq [1, 3] [1]);
           print (matchListWith eq [1] [1, 3]);
           print (matchListWith eq [3, 1] [1, 3]);
           .... }

奇怪的是，如果我在 GHCi 中加载两个函数 matchListWith eq [] []，工作得很好。

*Main> matchListWith eq [] []
True
*Main> 

我使用的是 GHC 版本 7.6.3。

Answer 1

原因是因为当你打电话

matchListWith eq [] []

编译器不知道它是什么类型的列表。它只知道它是一个 [a] 类型的值，但这并没有对其施加 Eq a => 约束。将其更改为

matchListWith eq [] ([] :: [Int])

它应该编译

<小时/>

有时您必须为 GHC 提供一些帮助才能了解它正在处理哪些类型。如果你尝试过也会是一样的

myFunc :: m Int
myFunc = do
    let x = 1
        y = 2
    return $ x + y

这不会编译，因为编译器没有被告知 m 是 Monad，您必须添加额外的上下文

myFunc :: Monad m => m Int

让它发挥作用。

它在 GHCi 中起作用的原因是因为有更急切的类型推断。 GHCi 通常会选择比 GHC 更具体的类型，以使交互部分更易于使用。