進程Haskell列表從右到左保持原點順序

Question

需要從Haskell列表中的右邊開始每增加第二個項目，但保持原點順序（例如reverse不是這種情況）。例如：

f [1, 2, 3] -- [1, 3, 3] 

f [1, 2, 3, 4] -- [2, 2, 4, 4] 

我試着像一個下面：

fc ([]) = [] 
fc (x:[]) = [x] 
fc (x:[y]) = [x+1,y] 
fc(x:xs) = fc [x] : (fc xs) -- this line is wrong 

附：很顯然，我可以扭轉（但希望瞭解原任務）列表兩次，並應用類似：

helper (x:y:tail) = [x, y+1] ++ tail 
fc x = reverse (helper (reverse x)) 

Answer 1

這可以有效地使用左摺疊來完成：

inc :: Num a => [a] -> [a] 
inc xs = foldl go (\_ _ acc -> acc) xs id (+ 1) [] 
    where go run x f g acc = run g f (f x: acc) 

注意，甚至認爲這是左折，列表使用利弊(:)運營商建;它將以線性方式執行而不是二次方式（類似於difference lists中的構造）。

\> inc [1, 2, 3] 
[1,3,3] 
\> inc [1, 2, 3, 4] 
[2,2,4,4] 

它也可以被推廣到比id和(+ 1)其他交替功能。

Answer 2

從右到左將扭轉它處理的Haskell列表的典型方式。既然你想有原來的順序爲結果，你只需再次逆轉：

f1 = reverse . zipWith (+) (cycle [0,1]) . reverse 

但如果你真的願意，你可以在每個遞歸調用返回兩個更新的尾巴和指示是否標誌從年底開始計數時位置，甚至讓你知道是否增加元素在該位置或不：

f2 = snd . g 
    where 
    g []  = (False, []) 
    g (x:xs) = let (addOne, xs') = g xs 
       x' = if addOne then x + 1 else x 
      in (not addOne, x':xs') 

我們基本上在映射列表中的功能，但這個功能需要獲取計算一個額外的參數從列表的右端開始。還有我們可以使用一個標準功能：

import Data.List (mapAccumR) 
f2' = snd . mapAccumR g False 
    where 
    g addOne x = (not addOne, if addOne then x + 1 else x) 

Answer 3

我想你想要的東西更清潔的規格是你，如果長度爲偶數和奇數indicies如果長度是奇數遞增甚至indicies。例如，當從零開始索引時，長度爲3的列表導致索引1遞增。要做到這一點的方法之一是明顯的兩個直通解決方案：

f xs = zipWith (+) (cycle sol) xs 
where sol = map fromEnum [even len, odd len] 
     len = length xs 

這可以一次完成（不依賴於編譯器融合規則）的「綁結」。例如（使用手動遞歸風格作爲通信手段）。

f2 xs = let (isEven, result) = go isEven xs in result 
where 
    go _ []  = (True,  []) 
    go e (x:xs) = let (ne,rest) = go (not e) xs 
       in (not ne, x+fromEnum e : rest) 

Answer 4

我喜歡托馬斯的解決方案。不過，我認爲在這裏只需一個簡單的foldr即可。

process = snd . foldr (\x (b,xs) -> (not b, x + fromEnum b:xs)) (False,[])