Haskell 使用 foldr 计算长度抛出类型错误

Question

尝试通过foldr函数实现列表计数

lengthList = foldr (\x s -> s + 1) 0 

给出以下错误

   * Ambiguous type variable `t0' arising from a use of `foldr'
  prevents the constraint `(Foldable t0)' from being solved.
  Relevant bindings include
    lengthList :: t0 a -> Integer (bound at lenListFoldr.hs:2:1)
  Probable fix: use a type annotation to specify what `t0' should be.
  These potential instances exist:
    instance Foldable (Either a) -- Defined in `Data.Foldable'
    instance Foldable Maybe -- Defined in `Data.Foldable'
    instance Foldable ((,) a) -- Defined in `Data.Foldable'
    ...plus one other
    ...plus 23 instances involving out-of-scope types
    (use -fprint-potential-instances to see them all)
* In the expression: foldr (\ x s -> s + 1) 0
  In an equation for `lengthList':
      lengthList = foldr (\ x s -> s + 1) 0

我该如何解决？

Answer 1

添加类型签名:

lengthList :: [a] -> Int

或类似的东西。错误指出:“可能的修复:使用类型注释来指定‘t0’应该是什么。”换句话说，编译器无法推断类型。或者，如评论所述:在上下文中使用函数，然后编译器将使用上下文为 lengthList 推断正确的类型。我相信函数 foldr 使用类约束 Foldable t;在您的情况下，编译器不知道 lengthList 正在折叠什么。通过上面的签名，您将 t0 绑定(bind)为一个列表。看一下 GHCi 给出的输出

:t foldr
foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b

简而言之，GHC 可以找出a 未被使用，b 是一个Num，但它不知道t 。