无法推断实例（haskell 错误）

Question

我的作业中定义了以下内容：

type Rel a = Set (a,a)

complR :: Ord a => Set a -> Rel a -> Rel a
complR (Set xs) r = Set [(x,y) | x <- xs, y <- xs, not (inR r (x,y))]

集合类型可以这样调用，例如：(Set [(1,2)])。 当我尝试像这样调用函数时，我收到“无法推断实例”错误。我很确定这是因为我的电话和具体的 Rel a。 inR 也在作业中定义，我在这里没有包括在内。

我做错了什么？例如，我这样称呼它：

complR (Set [(5,4), (3,3)]) (Set [(1,3)])

谢谢！

编辑： 我不认为作业是使用 Data.Set。我不认为包括在内。我看到了数据列表。但是我确实看到了：newtype Set a = Set [a] deriving (Eq,Ord)。 inR 的类型是这样的：Ord a => Rel a -> (a,a) -> Bool。 此作业中使用的文件是http://www.cwi.nl/~jve/rcrh/REL.hs 和 http://www.cwi.nl/~jve/rcrh/SetOrd.hs。

函数 complR 被放置在 REL.hs 文件中。 我调用 complR 时得到的错误是：

ERROR - Cannot infer instance
*** Instance   : Num (b,a)
*** Expression : complR (Set [(5,4),(3,3)]) (Set [(1,3)])

Answer 1

这里的问题是你如何调用complR。您的定义也可能不是您想要的。仔细检查complR的类型：

complR :: Ord a => Set a -> Rel a -> Rel a

让我们代入Rel a = Set (a, a)的定义：

complR :: Ord a => Set a -> Set (a, a) -> Set (a, a)

现在，看看你是怎么称呼它的：

complR (Set [(4, 5), (3, 3)]) (Set [(1, 3)])

您是说第一个参数的类型为Num b => Set (b, b)，这意味着a ~ Num b =>(b, b)，这意味着第二个参数的类型必须为Num b => Set ((b, b), (b, b))。由于您为此参数输入了Set [(1, 3)]，它会尝试统一Num b => b 和Num b => (b, b) 类型，这会导致您在上面看到的错误。

你如何解决这个问题？您的选择是更改 complR 的定义，使其具有类型

complR :: Ord a => Rel a -> Rel a -> Rel a

或者修正你如何称呼它

complR (Set [3, 4, 5]) (Set [(1, 3)])

我不会告诉你在这种情况下哪个是正确的，你必须自己确定。

---

解决此类错误的一种方法是在代码中添加一些显式类型注释：

complR (Set [(5, 4), (3, 3)] :: Set (Int, Int)) (Set [(1, 3)] :: Rel Int)

会抛出错误（在 GHC 中）

Couldn't match type `Int' with `(Int, Int)'
Expected type: Rel (Int, Int)
  Actual type: Rel Int
In the second argument of `complR', namely
  `(Set [(1, 3)] :: Rel Int)'
In the expression:
  complR
    (Set [(5, 4), (3, 3)] :: Set (Int, Int)) (Set [(1, 3)] :: Rel Int)
In an equation for `it':
    it
      = complR
          (Set [(5, 4), (3, 3)] :: Set (Int, Int)) (Set [(1, 3)] :: Rel Int)

更明确地说“无法将类型 Int 与 (Int, Int) 匹配”，这更清楚地表明了问题所在，您正在尝试在需要单个数字的地方使用元组。它甚至说“预期类型：Rel (Int, Int) ... 在complR 的第二个参数中”，它告诉你有什么事情发生了。

---

作为旁注，我强烈建议放弃 Hugs 以支持 GHC。您将获得更多信息丰富的错误消息，以及更多功能。 Hugs 自 2006 年以来一直没有开发，而 GHC 仍在积极开发中并定期发布新版本。 Hugs 也有一些不时出现的错误，因为它已经 8 年没有进行任何维护，所以你最好抓住 Haskell Platform，其中包括 GHC 和许多流行的库。

Answer 2

你有type Rel a = Set (a,a)，complR 的类型签名是

complR :: Ord a => Set a -> Rel a -> Rel a

所以我们应该给它一组a，一组as，它会给我们一组新的对。

你试过了

complR (Set [(5,4), (3,3)]) (Set [(4,5)])

这实际上是一个类型不匹配，因为两者都是第一个应该只是一个集合的关系，但是编译器好心（！）试图离开并弄清楚你是否可以制作一些奇怪的 Num 实例会使所有类型加起来，但它不能。