列表的列表的列表

表示类型的好方法是什么LoL a，是列表的列表 的...的a？嵌套级别是任意的，但总体上是统一的 外部列表的元素。

我想到的情况是对 a 的成员进行分组 列表，然后对每个子组应用下一个分组，依此类推。它 事先并不知道需要应用多少个分组。因此：

rGroupBy :: [(a -> a -> Bool)] -> [a] -> [...[a]...]

类型签名的额外奖励分rGroupBy ;-)

例子：

Suppose deweyGroup i根据第 i 个数字对元素进行分组

rGroupBy [deweyGroup 1, deweyGroup 2] 
         ["1.1", "1.2.1", "1.2.2", "2.1", "2.2", "3"]

gives:

[ [ [ "1.1" ], [ "1.2.1", "1.2.2" ] ],
  [ [ "2.1" ], [ "2.2" ] ],
  [ [ "3" ] ]
]

后记

一天后，我们有了 4 个优秀且互补的解决方案。我对这些答案非常满意；谢谢你们。

强制所有分支具有相同深度的约束的另一种方法是使用嵌套数据类型：

data LoL a = One [a] | Many (LoL [a])

mapLoL :: ([a] -> [b]) -> LoL a -> LoL b
mapLoL f (One xs) = One (f xs)
mapLoL f (Many l) = Many $ mapLoL (map f) l

rGroupBy :: [a -> a -> Bool] -> [a] -> LoL a
rGroupBy [] xs = One xs
rGroupBy (f:fs) xs = Many $ mapLoL (groupBy f) $ rGroupBy fs xs

扩展定义LoL，我们非正式地看到，

LoL a = [a] | [[a]] | [[[a]]] | ...

那么我们可以说，例如：

ghci> rGroupBy [(==) `on` fst, (==) `on` (fst . snd)] [ (i,(j,k)) | i<-[1..3], j<-[1..3], k<-[1..3]]

去取回

Many (Many (One [[[(1,(1,1)),(1,(1,2)),(1,(1,3))]],[[(1,(2,1)),(1,(2,2)),(1,(2,3)), ...