哈斯克尔跨度函数

Question

我对Haskell比较陌生，我正在努力找到一种实现Haskell的span函数的方法。然而，我的问题比这更一般，因为我不知道如何使函数返回包含所需元素的列表或元组列表。我对列表的问题，例如：

[[1],[2]]

是我不能让函数在列表列表中的第一个列表中添加一个元素。我只知道如何将另一个列表附加到列表列表中。

简而言之，如果您向我解释如何实现span函数，我希望这一切都会清楚。

Answer 1

我认为您在这里要使用的一般模式如下：

span :: (a -> Bool) -> [a] -> ([a], [a])
span pred [] = ([], [])
span pred (x:xs) = if pred x then _ else _  -- fill in the blanks
    where (prefix', suffix') = span pred xs

那里有两件不明显的事情。首先，注意where条件中的模式匹配。这意味着我们是：

1. 调用transpred xs，这会产生一对列表；
2. 这对上的模式匹配；
3. 分别命名对前缀'和后缀'的第一个和第二个元素。

我怀疑步骤#2，递归调用结果的模式匹配，是您可能不理解的。

第二件不明显的事情是递归。这是一件棘手的事情，因为与直觉相反，要用递归解决一个问题，你需要假设你已经解决了它，但对于“错误”的论点——如果你还没有解决它，那么想象一下你自己正在采取的一个艰难的步骤！但诀窍在于：

• 想象一下，你实际上已经解决了这个问题，但在列表的末尾。这就是前缀和后缀变量所包含的内容：一个正确的解决方案，但适用于错误的列表——您实际试图求解的列表的尾部

Answer 2

所以我想你说的是，你知道如何通过如下操作递归地附加到列表中

foobar :: [x] -> [y]
foobar (  []) = []
foobar (x:xs) = {- ...stuff... -} : foobar xs

但您不知道如何使用两个列表来实现这一点：

foobar :: [x] -> ([y], [z])
foobar (x:xs) = ???

一般来说，当结果不是列表，而是包含列表的东西时，您最终会执行如下操作：

foobar :: [x] -> ([y], [z])
foobar (x:xs) =
  let
    y = {- whatever -}
    z = {- whatever -}
    (ys, zs) = foobar xs   -- The recursive call
  in  (y:ys, z:zs)

这同样适用于，比如说，结果是一个一元动作

foobar :: [x] -> IO [y]
foobar (x:xs) = do
  y  <- {- whatever -}
  ys <- foobar xs
  return (y:ys)

请注意，这会强制函数不懒惰。