使用 ListLike 的模糊类型

Question

我正在 Haskell 中编写一个函数，从任何带有 Ord 元素的 ListLike 制作直方图：

import qualified Data.ListLike as LL
...
frequencies :: (Ord x, LL.ListLike xs x) => xs -> [(x, Int)]
frequencies xs = LL.map (\x->(LL.head x, LL.length x)) $ LL.group $ LL.sort xs

在尝试编译上述代码时，我收到一条关于不明确类型的错误消息：

 Ambiguous type variable `full0' in the constraint:
 (LL.ListLike full0 xs) arising from a use of `LL.group'
 Probable fix: add a type signature that fixes these type variable(s)
 In the expression: LL.group
 In the second argument of `($)', namely `LL.group $ LL.sort xs'
 In the expression:
 LL.map (\ x -> (LL.head x, LL.length x)) $ LL.group $ LL.sort xs

LL.group 的类型为(ListLike full0 full, ListLike full item, Eq item) => full -> full0，对应于普通列表中的(Eq a) => [a]->[[a]]。

我不明白为什么模棱两可的类型会出现问题。 Haskell 是否无法以某种方式推断存在“ListLike with full as elements”之类的类型，即full0？

Answer 1

Haskell 是否以某种方式无法推断存在“ListLike with full as elements”之类的类型，即full0？

不，问题是有太多类型可供选择 full0 并且 Haskell 编译器不知道该使用哪个。想一想：一般情况下，full0 可以有多个类型，它是一种以full 为元素的类列表类型：[full] 或Data.Sequence.Seq full 或许多其他选择。并且由于LL.map 定义的普遍性，full0 不从函数frequencies 的返回类型限制为[full]。

如果要将full0 限制为[full]，一种方法是将frequencies 定义中的LL.map 替换为用于列表的普通旧map。