如何使用偶数和奇数位置将列表分成两部分？

Question

我正在尝试根据列表中的索引/位置将列表拆分为偶数和奇数。例如对于列表[2,3,6]，结果应该是even = [2,6] 和odd = [3]。

我想使用不使用列表推导的方法——一次匹配两个元素，将一个放在偶数列表中，一个放在赔率列表中。

但我不确定让它工作的语法。我知道如何从逻辑上讲，但我在语法上苦苦挣扎。这是我目前所拥有的：

splitOnPos :: [a] -> ([a], [a])
splitOnPos [] = ([], [])
splitOnPos (x1:x2:xs) = (odds, evens)   
    where 
        odds  = x1 : splitOnPos xs
        evens = x2 : splitOnPos xs

我收到以下关于类型的错误：

* Couldn't match expected type `[a]' with actual type `([a], [a])'
    * In the second argument of `(:)', namely `splitOnPos xs'
      In the expression: x2 : splitOnPos xs
      In an equation for `evens': evens = x2 : splitOnPos xs

Answer 1

你快到了。应该是的

splitOnPos :: [a] -> ([a], [a])
splitOnPos [] = ([], [])
splitOnPos (x1:x2:xs) = (x1:odds, x2:evens)   
    where 
        (odds, evens) = splitOnPos xs

正如错误消息提醒您的那样，该函数返回一个元组（一对）列表，而不仅仅是一个您可以使用 (:) 任何东西的列表。

所以我们将元组放入，并将两个头元素中的每一个添加到相应的列表中，再次将结果重新打包为一对，因此类型适合：

 ( x1:odds        <--       ( odds
   ,                          ,           <---- recursive call
   x2:evens )     <--         evens )

您还需要在这里写一个等式，以便涵盖所有情况。现在你只处理空列表的情况，以及包含两个或更多元素的列表。

未处理单例列表情况。结果它只适用于长度均匀的列表：

> splitOnPos [0..9]
([0,2,4,6,8],[1,3,5,7,9])

> splitOnPos [0..10]
([0,2,4,6,8*** Exception: <interactive>:(574,1)-(577,37):
 Non-exhaustive patterns in function splitOnPos