哈斯克尔 |无法从上下文推断

Question

我有这段代码无法编译。我想了解为什么它不能推断类型。

module Main where

data Combiner a = Combiner a (a -> Int)
comb = Combiner 3 (\x -> 5)

class HasValue a where
  getValue :: Int

instance HasValue Combiner where
  getValue (Combiner x f) = f x

main = print $ getValue comb

这是错误：

main.hs:8:3: error:
• Could not deduce (HasValue a0)
  from the context: HasValue a
    bound by the type signature for:
               getValue :: HasValue a => Int
    at main.hs:8:3-17
  The type variable ‘a0’ is ambiguous
• In the ambiguity check for ‘getValue’
  To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
  When checking the class method:
    getValue :: forall a. HasValue a => Int
  In the class declaration for ‘HasValue’

Answer 1

鉴于我理解正确，您为getValue 定义了错误的签名。现在定义了：

class HasValue a where
  getValue :: Int

这意味着getValue 可以有不同的版本，但是由于这些都返回Int，因此完全不可能知道我们要选择哪个instance。

然而，根据文件后面的 instance 声明（以及函数的名称），我认为您实际上是在寻找：

class HasValue a where
  getValue :: a -> Int

现在 Haskell 可以从函数应用程序的 参数 的类型派生a。此外，这也与instance HasValue 中的函数体相匹配。

另外Combiner不是一个单型，所以我们需要在头部添加类型参数：

instance HasValue (Combiner a) where
  getValue (Combiner x f) = f x