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评价与(:)操作的结果。