拆分列表的函数应该叫什么？

Question

我想编写一个函数，根据哪些项目满足给定属性 p 将列表拆分为子列表。我的问题是如何调用该函数。我将在 Haskell 中给出示例，但在 F# 或 ML 中也会出现同样的问题。

split :: (a -> Bool) -> [a] -> [[a]]  --- split lists into list of sublists

连接起来的子列表是原始列表：

concat (split p xss) == xs

每个子列表都满足 initial_p_only p 属性，也就是说 (A) 子列表以满足 p 的元素开头，并且是因此不为空，并且 (B) 没有其他元素满足 p：

initial_p_only :: (a -> Bool) -> [a] -> Bool
initial_p_only p [] = False
initial_p_only p (x:xs) = p x && all (not . p) xs

所以准确地说，

all (initial_p_only p) (split p xss)

如果原始列表中的第一个元素不满足 p，则拆分失败。

该函数需要调用除 split 之外的其他名称。 我应该叫它什么？

Answer 1

我相信您描述的函数是 list-grouping 包中的 breakBefore 。

Data.List.Grouping：http://hackage.haskell.org/packages/archive/list-grouping/0.1.1/doc/html/Data-List-Grouping.html

ghci> breakBefore even [3,1,4,1,5,9,2,6,5,3,5,8,9,7,9,3,2,3,8,4,6,2,6]
[[3,1],[4,1,5,9],[2],[6,5,3,5],[8,9,7,9,3],[2,3],[8],[4],[6],[2],[6]]

Answer 2

我非常喜欢亚当斯建议的基于“break”一词的名字。该函数有很多可能的变体。这是我所期望的（基于 F# 库中使用的命名）。

名为 breakBefore 的函数将采用一个应在其之前中断的元素：

breakBefore :: Eq a => a -> [a] -> [[a]] 

带有 With 后缀的函数将采用某种直接指定何时中断的函数。如果发生故障，这是函数 a ->您想要的 Bool ：

breakBeforeWith :: (a -> Bool) -> [a] -> [[a]]

您还可以想象一个带有 By 后缀的函数将采用一个键选择器，并在键更改时中断（这有点像 < code>group by，但你可以有多个具有相同键的组）：

breakBeforeBy :: Eq k => (a -> k) -> [a] -> [[a]]

我承认名称有点长 - 也许唯一真正有用的函数就是你想要的函数。然而，F# 库似乎相当一致地使用这种模式（例如，sort、sortBy 采用键选择器，sortWith 采用比较器函数）。

也许可以为更多列表处理函数提供这三种变体（并且为这三种类型提供一些一致的命名模式是个好主意）。