分組連續複製一個列表？

Question

非常基本的，但我發現這個問題令人沮喪。我想組列表連續元素：

myList = [1,2,3,4,4,4,5] 

成爲

myList = [[1],[2],[3],[4,4,4],[5]] 

這是用foldr用蓄電池我嘗試：

print $ foldr (\ el acc -> if el /= head (head acc) then el ++ (head acc) else acc) [['a']] myList 

我不明白爲什麼我收到以下錯誤：

Couldn't match expected type ‘[a0]’ with actual type ‘Int’ 
In the expression: 'a' 
In the expression: ['a'] 
In the second argument of ‘foldr’, namely ‘[['a']]’ 

任何建議都會很棒！

Answer 1

在列表上寫一個摺疊需要我們回答兩個例子：[]（空列表或「nil」）和x:xs（元素後跟一個列表或「cons」）。

答案是什麼時，列表是空的？可以說，答案也是一個空的列表。因此：

nilCase = [] 

列表不爲空時的答案是什麼？這取決於我們已經積累了什麼。可以說我們已經積累了一個小組。我們知道這些組是非空的。

consCase x ((g11:_):gs) 

如果x == g11那麼我們將它添加到組中。否則，我們開始一個新的小組。因此：

consCase x ggs@(g1@(g11:_):gs) 
    | x == g11 = (x:g1):gs 
    | otherwise = [x]:ggs 

如果我們還沒有積累任何組合，該怎麼辦？然後我們創建一個新組。

consCase x [] = [[x]] 

我們可以鞏固的三種情況下，以2：

consCase x ggs 
    | g1@(g11:_):gs <- ggs, x == g11 = (x:g1):gs 
    | otherwise      = [x]:ggs 

然後所需的摺疊很簡單：

foldr consCase nilCase 

Answer 2

使用foldr，它應該是：

group :: (Eq a) => [a] -> [[a]] 
group = foldr (\x acc -> if head acc == [] || head (head acc) == x then (x:head acc) : tail acc else [x] : acc) [[]] 

Answer 3

類型你的案件情況是[[Char]]，你正試圖建立[[Int]]類型的值。我們的基本情況應當是一個空列表，我們將在每個步驟中添加列表元素。

讓我們來看看接下來寫的匿名函數。請注意，由於累加器中當前的if類型，我們將失敗（它們必須返回與累加器相同類型的值和相同類型的值）。如果模式匹配累加器，它會更好，更乾淨和不同的應用功能，在每種情況下：

func :: Eq a => [a] -> [[a]] 
func = foldr f [] 
    where f x []  = undefined 
     f x (b@(b1:_):bs) 
      | x == b1 = undefined 
      | otherwise = undefined 

當我們遇到的基本情況，我們應該加入我們的元素包裹在一個列表：

f x [] = [[x]] 

接下來，我們將處理非空列表，如果x等於列表頭的下一個頭部，我們應該把它加到那個列表中，否則我們就會

f x (b@(b1:_):bs) 
    | == b1 = (x:b):bs 
    | = [x]:b:bs 

把這個在一起，我們有：

func :: Eq a => [a] -> [[a]] 
func = foldr f [] 
    where f x []  = [[x]] 
     f x (b@(b1:_):bs) 
      | x == b1 = (x:b):bs 
      | otherwise = [x]:b:bs 

打碎了問題了，它更容易與lambda函數更緊湊重寫這個。請注意，head[[]]只是[]，所以我們可以將空列表大小寫和相等大小寫作爲一個操作。因此，我們可以改寫：

func :: (Eq a) => [a] -> [[a]] 
func = foldr (\x (b:bs) -> if b == [] || x == head b then (x:b):bs else [x]:b:bs) [[]] 

但是，這個方案最終需要，因爲我們必須模式匹配累加器的所有版本中使用的head。