haskell - 在 Haskell 中将字符串列表转换为元组列表

Question

我有一个字符串列表:

[" ix = index"," ctr = counter"," tbl = table"]

我想从中创建一个元组，例如:

[("ix","index"),("ctr","counter"),("tbl","table")]

我什至尝试过:

genTuple [] = []
genTuples (a:as)= do
                   i<-splitOn '=' a
                   genTuples as
                   return i

如有任何帮助，我们将不胜感激谢谢。

Answer 1

Haskell 的类型系统非常具有表现力，所以我建议从类型的角度来思考问题。这样做的好处是，您可以“自上而下”地解决问题，并且可以随时对整个程序进行类型检查，因此您可以及早发现各种错误。一般方法是将问题逐步划分为更小的函数，每个函数最初都是未定义，但具有某种合理的类型。

你想要的是一个函数(我们称之为convert)，它接受一个字符串列表并生成一个元组列表，即

convert :: [String] -> [(String, String)]
convert = undefined

很明显，输入列表中的每个字符串都需要解析为字符串的二元组。但是，解析可能会失败 - 纯粹的类型 String 不能保证您的输入字符串格式正确。所以你的parse函数也许返回一个元组。我们得到:

parse :: String -> Maybe (String, String)
parse = undefined

我们可以使用 mapMaybe 立即将其插入到我们的 convert 函数中:

convert :: [String] -> [(String, String)]
convert list = mapMaybe parse list

到目前为止，一切都很好 - 但 parse 实际上仍然是未定义。假设它应该首先验证输入字符串是否“有效”，如果是，则将其拆分。所以我们需要

valid :: String -> Bool
valid = undefined

split :: String -> (String, String)
split = undefined

现在我们可以定义parse:

parse :: String -> Maybe (String, String)
parse s | valid s   = Just (split s)
        | otherwise = Nothing

什么使字符串有效？假设它必须包含 = 符号:

valid :: String -> Bool
valid s = '=' `elem` s

对于拆分，我们将采用第一个元组元素的第一个 = 之前的所有字符，并将其余字符用于第二个元组元素。但是，您可能想要 trim leading/trailing whitespace同样，所以我们还需要另一个函数。现在，让我们将其设为无操作

trim :: String -> String
trim = id

使用这个，我们终于可以定义

split :: String -> (String, String)
split s = (trim a, trim (tail b))
  where
    (a, b) = span (/= '=') s

请注意，我们可以在这里安全地调用 tail，因为我们知道 b 永远不会为空，因为总是有一个分隔符(这就是 valid 验证的内容) )。就类型而言，使用“非空字符串”来表达这种保证会很好，但这可能有点过度设计。 :-)

现在，这个问题有很多解决方案，这只是一个示例(并且有一些方法可以使用 eta reduction 或现有库来缩短代码)。我想要表达的要点是，Haskell 的类型系统允许您以类型指导的方式解决问题，这意味着编译器可以帮助您从一开始就充实解决方案。