列表中的Haskell组元素，并加入不同的相邻元素

Question

group在data.list中可以将同一元素分组 输入：

import Data.List(group)
group "mississippi time"

输出：

["m","i","ss","i","ss","i","pp","i"," ","t","i","m","e"]

如何修改group函数以将不同的相邻元素分组在一起？

期望：

["mi","ss","i","ss","i","pp","i time"]

下面是我错误的解决方案。

我尝试对相同的元素进行分组，然后将不同的元素分组。分组不同的元素时，我还检查每个元素的长度。由于groupsame，因此单独留下不同的元素。

-- |
-- >>> groupSame "mississippi time"
-- ["m","i","ss","i","ss","i","pp","i"," ","t","i","m","e"]
groupSame :: String -> [String]
groupSame [] = []
groupSame (x:xs) = (x : takeWhile (== x) xs) : groupSame (dropWhile (== x) xs)
-- >>> groupDiff ["m","i","ss","i","ss","i","pp","i"," ","t","i","m","e"]
-- ["mi","ss","i","ss","i","pp","i time"]
groupDiff :: [String] -> [String]
groupDiff [] = []
groupDiff [x] = [x]
groupDiff (x:y:xs)
 |length x > 1 && length y > 1 =  x:y : groupDiff xs 
 |length x > 1 && length y ==1 =  x: groupDiff (y:xs)
 |length x ==1 && length y > 1 =  x:y: groupDiff xs
 |length x ==1 && length y ==1 =  (x++y): groupDiff xs

预期输出高于groupdiff签名。 但是我得到了：

["mi","ss","i","ss","i","pp","i"," t","im","e"]

Answer 1

那呢？

 map concat $ groupBy (\x y -> all ((== 1) . length) [x, y]) $ group "mississippi time"

我想可以以某种方式缩短lambda。

我猜（== 1）。长度可以命名issingleton。

而且，它可以用作null。 tail要保存一些括号，fwiw：

 map concat $ groupBy (\x y -> all (null . tail) [x, y]) $ group "mississippi time"

随着更多播放，您甚至可以摆脱变量x和y，并以无点的样式写入它，只要您为Pairs编写的的替代方案，

all' p (a, b) = p a && p b
map concat $ groupBy (curry $ all' (null . tail)) $ group "mississippi time"

但这可能不那么可读。

---

您也需要导入data.list（groupby）。

---

其他人在评论中向您解释了为什么您的解决方案不起作用。

但是，我的观点是，首先，您不应该达到如此复杂的解决方案。

手工递归是一种功能强大的工具，但是对于如此简单的美味来说，递归太强大了。确实，您迷失了细节。

如果您知道自己只想以某种方式进行 group ，请与group和groupby，group，teach of伸出并查看如何将它们结合在一起以获得想要的东西。

这就是我通过写下我想做的事情，

• 按平等（从而获得不同长度的字符串）
• 组成的相邻字符串的相邻字符串1，
• 这就是我制定解决方案的方式（在性能方面，可能不是最佳）。将每个组中的字符串串联

，然后从计划的关键部分中提取我需要的功能：

• ake fiake yemality ：这就是group do do do do do
• em> group strings具有长度1 ：groupby允许给定谓词以外的谓词，长度可以计算长度，（== 1）用于检查一个数字是否为1
• constenate strings ：concat仅此操作（对于任何列表，不仅是字符串，btw）
• 组：这意味着我必须在组列表上MAP。

给定上述情况，我到了这里：

 map concat $ groupBy (\x y -> doTheyGoTogether) $ group "mississippi time"

我知道dotheygotogether将使用（== 1）。长度以某种方式。了解（== 1）并不是一个巨大的飞跃。长度对于 x和y的全部应为true：dotheyGotogeTher = all ）。

---

ps： hoogle 是您的朋友。