问Haskell，列表作为函数的输入，怎么做？

EN

很明显，在这种情况下，列表是而不是空的，它是表单((ca,cb):cs)和ca Char，cb Int和cs是列表[(Char,Int)]的其余部分。

在这种情况下，我们可以简单地为序列ca:(show cb)用show :: Show a => a -> String构造一个字符串，我们将一个整数转换为对应的String。接下来，我们将列表的其余部分与该字符串连接起来，如下所示：

flatten ((ca,cb):cs) = ca:(show cb ++ flatten cs)

或全部：

flatten :: [(Char, Int)] -> String
flatten [] = []
flatten ((ca,cb):cs) = ca:(show cb ++ flatten cs)

首先，我们尝试从一个String创建一个(Char, Int)。如果我们能做到这一点，我们几乎已经做到了，因为我们可以为所有的(Char, Int)这样做。所以让我们转换一个单一的(Char, Int)

flattenSingle :: (Char, Int) -> String
flattenSingle (c, i) = c : show i

现在，我们需要对所有条目这样做：

flattenAll :: [(Char, Int)] -> [String]
flattenAll xs = map flattenSingle xs

最后，但同样重要的是，我们需要将concat [String] (即[[Char]])转换为String (即[Char])：

flatten :: [(Char, Int)] -> String
flatten xs = concat (flattenAll xs)

我们就完蛋了。我们怎么做到的？好吧，我们从一个简单得多的问题开始，即如何从一个String中获得一个(Char, Int)，并使用它来获得我们的结果。

下面是一个函数中的所有内容：

flatten = concat . map flattenSingle
  where
    flattenSingle (c, i) = c : show i

因为经常使用concat . map f，所以有一个叫做concatMap的函数

flatten :: [(Char, Int)] -> String
flatten = concatMap flattenSingle
  where
    flattenSingle (c, i) = c : show i

让我们考虑一下flatten中的内容以及它产生的结果。flatten，获取一个类型对的列表：(Char, Int)并生成一个[Char]；它从现有的列表中生成一个列表。这听起来有门铃吗？

flatten xs = [ c | (char, int) <- xs, c <-[char] ++ show int]

我们可以顺序地解构给定列表中的每一对；对于每一对，我们将每个组件转换为一个字符串，以便将它们连接起来。现在我们对每对都有一个字符串，我们只需要把每个字符取出来，生成最后的字符串。