在Haskell中，推断类型不够通用

Question

我正在编写一个程序，它接受一个元素列表（这样的列表必须采用整数和小数）并给出一个减少的总和列表：

• 结果列表的第一个元素是整个列表的总和
• 第二个是没有头的列表的总和
• 第三个是没有头部和第二个元素的列表的总和
• 等等。

到目前为止我的结果是：

cuttingSum :: Num a => [a] -> [a]
cuttingSum l = 
 let         
  cuttingSum_iter [] res = reverse (res)
  cuttingSum_iter ll res =
  cuttingSum_iter (tail ll) ((foldl (+) 0 ll) :: res)
 in
  cuttingSum_iter l []


main = do
 print $ cuttingSum [1,2,3]

我收到错误：

 ERROR "task9-02-1.hs":5 - Inferred type is not general enough
*** Expression    : foldl (+) 0 ll
*** Expected type : a
*** Inferred type : _26

我正在使用Hugs，因为它是任务要求，但ghci也显示出某种类似的错误。 有什么问题？

Answer 1

问题只是一个错字，你有foldl (+) 0 ll :: res而不是foldl (+) 0 ll : res ，只有一个: 。 这是因为::表示表达式的类型 。 当你有

cuttingSum_iter ll res = cuttingSum (tail ll) ((foldl (+) 0 ll) :: res)

这相当于

cuttingSum_iter ll res = cuttingSum (tail ll) ((foldl (+) 0 ll) :: b)

因为res作为参数而res作为类型存在于不同的名称空间中。 在类型命名空间中，任何以小写字母开头的标识符都是类型变量 ，因为我们知道变量的名称对编译器无关紧要，只对程序员有意义。 从这一点来说，我将其称为b以避免与res参数混淆。

由于您告诉编译器表达式foldl (+) 0 ll具有类型b ，因此它在类型检查阶段失败。 编译器可以发现ll至少是一个列表，并且在foldl (+) 0使用它意味着它必须包含Num元素，因此foldl (+) 0 ll必须具有类型Num a => a 。 这与类型b不匹配，因为b没有Num约束。 这是导致您看到的错误消息的原因

ERROR "task9-02-1.hs":5 - Inferred type is not general enough

推断类型不够通用，因为推断类型具有Num约束。

在GHC中，你会得到错误

Couldn't match type ‘t’ with ‘res’
  because type variable ‘res’ would escape its scope
This (rigid, skolem) type variable is bound by
  an expression type signature: res
  at <interactive>:13:57-79
Expected type: [res]
  Actual type: [t]
Relevant bindings include
  ll :: [t] (bound at <interactive>:13:21)
  cuttingSum_iter :: [t] -> [a] -> [a] (bound at <interactive>:12:5)
In the third argument of ‘foldl’, namely ‘ll’
In the second argument of ‘cuttingSum_iter’, namely
  ‘((foldl (+) 0 ll) :: res)’

对我来说，这个更清晰一点，因为它提到了第二行的“类型变量res ”，并说它期望它有[res]而期望类型[t] ，其中cuttingSum_iter具有类型[t] -> [a] -> [a] 。 看到它提到“类型变量res ”和“预期类型： [res] ”，这至少指出了问题的原因，尽管仍然不能立即清楚究竟是什么问题。