如何总结Haskell列表中列表中的值？

Question

当我试图学习Haskell只是为了好玩和经验，我没有其他的可能性，只问你的“哑巴”问题，完全初学者^^。我偶然发现了一个问题，即如何才能找到清单之和，例如[1,3,4,7,2,5] = 4,11,7，7，但到目前为止我还没有找到解决办法。有没有人知道在Haskell这是怎么回事？

Answer 1

考虑到函数类型，它可能会有所帮助。

您有[[Int]]，您需要一个函数[[Int]] -> [Int]来获取[Int]

您想要的函数是map sum :: [[Int]] -> [Int]

以下代码在ghci中运行

首先，您有ints列表。请注意，在本例中，需要指导ghci使用[[Int]]获取所需的类型，而不是令人困惑的通用[[1,3],[4,7],[2,5]] :: Num t => [[t]]。

Prelude> let xs = [[1,3],[4,7],[2,5]] :: [[Int]]

接下来，您可能已经了解了sum，让它针对[Int]而不是泛型sum :: (Foldable t, Num a) => t a -> a，这将使类型更易于阅读。

Prelude> let sumInts = sum :: [Int] -> Int

接下来，让我们在sumInts的某些元素上测试xs = [[1,3],[4,7],[2,5]]

Prelude> :t sumInts [1,3]
sumInts [1,3] :: Int
Prelude> sumInts [1,3]
4

现在您可以对列表的一个元素执行sum，要对整个列表执行此操作，可以使用map

Prelude> :t map
map :: (a -> b) -> [a] -> [b]

让我们看看，如果您将sumInts传递给地图，您将得到什么样的类型？

Prelude> :t map sumInts 
map sumInts :: [[Int]] -> [Int]

这应该适用于xs :: [[Int]]，但首先让检查类型确保

Prelude> :t map sumInts xs
map sumInts xs :: [Int]

现在做计算

Prelude> map sumInts xs
[4,11,7]

因为sumInts = sum，这也意味着sum也能工作。

Prelude> :t map sum xs
map sum xs :: [Int]
Prelude> map sum xs
[4,11,7]

注1：map sum实类型为map sum :: (Foldable t, Num b) => [t b] -> [b])在上一个示例中，它由xs的[[Int]]类型推断为[[Int]] -> [Int]

Answer 2

可以将列表与sum相加，也可以将任何函数应用于map列表中的每个元素，因此您要查找的函数如下：

map sum

应用该函数时：

map sum [[1,3],[4,7],[2,5]]

你得到你的[4,11,7]。所发生的情况是，映射遍历外部列表，并将它获得的函数作为其第一个参数(在本例中是sum函数)应用于每个元素。同时，map在输出列表中收集结果。因此，sum与结果4一起应用于[1,3]，将结果11应用于[4,7]，将结果7应用于[2,5]，所有这些都被放置在列表[4,11,7]中。