function - Haskell “could not deduce”错误

我有以下代码:

class Coll c e where
    map :: (e1 -> e2) -> c e1 -> c e2
    merge :: (e -> e -> e) -> e -> c e -> e
    sum :: (Num e) => c e -> e
    sum = merge (+) 0

到现在为止还挺好。但是我有:

    sumMap :: (Num e2) => (e1 -> e2) -> c e1 -> e2
    sumMap f c = (merge (+) 0) (map f c)

编译产生错误:



所以我将sumMap :: (Num e2) => (e1 -> e2) -> c e1 -> e2替换为sumMap :: (Num e2, Coll c e2) => (e1 -> e2) -> c e1 -> e2，但随后又出现了另一个错误:



我很困惑，所以我注释掉sumMap的定义，然后运行:t (merge (+) 0) . (map (* 2))，这给了我[...] :: (Num c, Coll c1 c, Coll c1 e) => c1 c -> c。忽略它如何改变变量名，Coll c1 e很奇怪。 e甚至没有在定义中使用!，为什么在其中!!无论如何，然后我运行((merge (+) 0) . (map (* 2))) [1,2,3,4]，它成功返回20。这里发生了什么？为什么仅当我不尝试将其与名称绑定(bind)时，此功能才起作用？

最佳答案

您的问题源于定义Col类的方式。特别是，类定义包括c和e类型。这意味着您可以为不同类型的元素使用不同的实例，大概不是您想要的。相反，您希望每个可能与所有类型的元素一起使用的c都有一个实例。

最好将类编写为:

class Coll c where
  map :: (e1 -> e2) -> c e1 -> c e2
  merge :: (e -> e -> e) -> e -> c e -> e
  sum :: Num e => c e -> e
  sum = merge (+) 0

现在，每个单独的实例仅取决于c，而不取决于其元素的类型。

我怀疑您编写了class Coll c e where，因为您想确保c是元素的集合。 (就像用Java编写C<E>一样。)但是，这在Haskell中是不必要的:像c这样的类型变量可以代替其他注释用于参数化类型。类型系统将确定c通过在map和merge等签名中使用参数来采用参数。

由于这是不必要的，因此class Coll c e表示该类基于两个不同的类型变量，它们甚至不必关联。这意味着，要弄清楚要使用哪个实例，类型系统需要知道集合及其元素的特定类型，并且在您的特定情况下，它没有足够的信息来执行此操作。如果只将e保留在类定义之外，那应该没有问题。

关于function - Haskell “could not deduce”错误，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/27453235/