haskell：递归中的类型不匹配错误

Question

我有这样的递归函数；

elim_all :: Idx -> Idx -> Idx -> Idx -> Mat El -> Mat El
elim_all c r1b r1e r2 m
     | r1b == r1e = elim_one c r1b r2 m
     | otherwise = elim_one c r1b r2 m : elim_all c (r1b+1) r1e r2 m

elim_one函数是;

elim_one :: Idx -> Idx -> Idx ->  Mat El -> Mat El
elim_one c r1 r2 m = let val1 = ((m!!r1)!!c)
                         val2 = ((m!!r2)!!c)
                         row1 = (mulr r1 val2 m)!!r1
                         row2 = (mulr r2 val1 m)!!r2
                         nrow = zipWith (-) row1 row2
                         matr = if r1 == r2
                                     then m
                                     else replacer r1 nrow m
                      in matr

运行它时，出现以下错误：

    Couldn't match type ‘[El]’ with ‘Int’
    Expected type: [El]
      Actual type: Mat El
    In the first argument of ‘(:)’, namely ‘elim_one c r1b r2 m’
    In the expression:
      elim_one c r1b r2 m : elim_all c (r1b + 1) r1e r2 m

错误对我来说仍然没有意义。 我该如何解决该问题？

Answer 1

所以这是有问题的行：

| otherwise = elim_one c r1b r2 m : elim_all c (r1b+1) r1e r2 m

现在，您已经在类型签名中说过， elim_all的结果*将是Mat El ，但是在这一行中，结果是一个列表（即(:)运算符的形式）。

在不了解Mat类型的作用的情况下，我的最佳猜测是您需要将此案例的输出包装在Mat的类型构造器中。

---

*当功能完全使用时。

Answer 2

elim_one和elim_all计算Mat E1类型的东西。 但是无论如何，因为

(:) :: a -> [a] -> [a]

并且对于所有类型x，它都认为x与[x]您永远无法将elim_one和elim_all的求值结果与(:)运算符相关联。