如何解决这个Haskell类型错误？预期类型和实际类型不匹配

问：

我正在尝试使用 foldr 和 helper 函数将所有最大的整数从一个列表提取到另一个列表。我对折叠器的理解与错误消息相冲突。这是我的代码：

largest :: [Int] -> [Int]
largest [] = []
largest xs = foldr largestHelper [] xs

largestHelper :: [Int] -> Int -> [Int]
largestHelper [] prev = [prev]
largestHelper (lrg : lrgs) prev | lrg < prev  = [prev]
                                | lrg == prev = prev : (lrg : lrgs)  
                                | otherwise   = (lrg : lrgs)

在我看来，要计算的第一个函数是整数列表的最后一个元素和 .接下来是使用列表的倒数第二个元素和上一次迭代，它只是最后一个元素，因为它是迄今为止最大的元素。等等。因此，最终计算为一个列表，该列表包含一个或多个整数，这些整数具有从给定列表中找到的最大值。largestHelper[]largestHelperlargest xs

以下是错误：

largest.hs:3:20: error:
    * Couldn't match type `[Int]' with `Int'
      Expected type: [Int] -> [Int] -> [Int]
        Actual type: [Int] -> Int -> [Int]
    * In the first argument of `foldr', namely `largestHelper'
      In the expression: foldr largestHelper [] xs
      In an equation for `largest':
          largest xs = foldr largestHelper [] xs
  |
3 | largest xs = foldr largestHelper [] xs
  |                    ^^^^^^^^^^^^^

largest.hs:3:37: error:
    * Couldn't match type `Int' with `[Int]'
      Expected type: [[Int]]
        Actual type: [Int]
    * In the third argument of `foldr', namely `xs'
      In the expression: foldr largestHelper [] xs
      In an equation for `largest':
          largest xs = foldr largestHelper [] xs
  |
3 | largest xs = foldr largestHelper [] xs
  |

第一个似乎说它实际上是在接收两个整数列表，而不是它正在构建的列表。但是不是将列表的元素一个一个地给出，因此第二个参数确实是一个整数而不是整数列表吗？ 第二个似乎在说，的参数实际上是而不是 。我不明白。largestHelperfoldrlargestlargestHelperlargest[[Int]][Int]

我将非常希望澄清这种混淆。我还不知道这是否可行，因为它不会编译，并且作为函数式编程和 Haskell 的初学者，考虑到代码的逻辑和风格，我也希望发表评论。