为什么 Haskell point free version of function 会导致 ambiguous type 错误？

Question

事实证明，在 GHC 7.10 中，这可以正常编译：

mysum xs = foldr (+) 0 xs

但是这个：

mysum    = foldr (+) 0

导致以下错误：

No instance for (Foldable t0) arising from a use of ‘foldr’
The type variable ‘t0’ is ambiguous
Relevant bindings include
  mysum :: t0 Integer -> Integer (bound at src/Main.hs:37:1)
Note: there are several potential instances:
  instance Foldable (Either a) -- Defined in ‘Data.Foldable’
  instance Foldable Data.Functor.Identity.Identity
    -- Defined in ‘Data.Functor.Identity’
  instance Foldable Data.Proxy.Proxy -- Defined in ‘Data.Foldable’
  ...plus five others
In the expression: foldr (+) 0
In an equation for ‘mysum’: mysum = foldr (+) 0

为什么会发生这种情况，理解这种差异所获得的洞察力是什么？另外，我可以给这个函数一个类型（仍然是通用的）来消除这个错误吗？

Answer 1

像往常一样，将类型良好的函数设为无点突然导致有关未满足的类型类约束的类型错误，最终原因是 monomorphism restriction，默认情况下启用。

您可以通过向 mysum 添加类型签名来解决此问题：

mysum :: (Foldable f, Num a) => f a -> a

或者关闭单态限制：

{-# LANGUAGE NoMonomorphismRestriction #-}

为什么 Haskell point free version of function 会导致 ambiguous type 错误？

Why does Haskell point free version of function result in ambiguous type error?

haskell

types

function

monomorphism-restriction