Haskell“无法推断”错误

Question

我有以下代码：

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)

编译产生错误：

无法从上下文（Coll ce）推断出由于使用“合并”而引起的（Coll c e2）[...]可能的解决方法：将（Coll c e2）添加到sumMap [...的类型签名的上下文中]

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

无法从上下文（Coll ce）推断出由于使用“ map”而引起的（Coll c e0）[...]可能的解决办法：添加类型签名以修复这些类型变量[...]

我很困惑，所以我注释掉了sumMap的定义，然后运行:t (merge (+) 0) . (map (* 2)) :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 。 这里发生了什么？ 为什么仅当我不尝试将其绑定到名称时，此功能才起作用？

Answer 1

您的问题源于您定义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 ce where编写了class Coll ce where因为您想确保c是元素的集合。 （就像用Java编写C<E>一样。）但是，这在Haskell中是不必要的：像c这样的类型变量可以代替其他注释而代表参数化类型。 类型系统将确定c通过在map ， merge等的签名中使用参数来采用参数。

由于这是不必要的，因此class Coll ce表示该类基于两个不同的类型变量，它们甚至不必关联。 这意味着，要弄清楚要使用的情况下，该类型系统需要知道的收集和它的因素，其中包括特定类型，并在特定的情况下，它没有足够的信息来做到这一点。 如果只将e排除在类定义之外，那应该不是问题。