这个“过滤”是否有效？功能存在吗？对于这样的函数，什么名字比较好呢？

Question

我正在解决一个欧拉计划问题，该问题涉及具有特定属性的所有 n 位数字。似乎获取它们的最简单方法可能是获取具有该属性的所有数字的列表（这将是无限长的），然后选择具有正确位数的数字。像这样：

numsWithCoolProperty = filter hasCoolProperty [1..]

nDigitNumsWithCoolProperty n = takeWhile (< 10^n) $ dropWhile (<= 10^(n-1)) numsWithOtherCoolProperty

但现在如果我想用不同的属性做同样的事情，我会重复自己：

nDigitNumsWithOtherCoolProperty n = takeWhile (< 10^n) $ dropWhile (<= 10^(n-1)) numsWithOtherCoolProperty

所以我想要一个捕获 dropWhile/takeWhile 逻辑的函数。类似这样：

f :: (a -> Bool) -> [a] -> [a]
f pred = takeWhile pred . dropWhile (not . pred)

然后如果我有一个谓词 hasNDigits n m 如果 m 有 n 位数字则返回 true，我可以这样做：

nDigitNumsWithCoolProperty n = f (hasNDigits n) numsWithCoolProperty
nDigitNumsWithOtherCoolProperty n = f (hasNDigits n) numsWithOtherCoolProperty

无论如何，我的问题是关于函数 f 它有与 dropWhile 和 takeWhile 相同的类型：它是否已经存在于某处？如果不是的话，取什么名字比较好呢？我能想到的就是像 dropUntilTakeWhile 这样的东西，但我确信有一个更好的名字。

Answer 1

您的函数：

f pred = takeWhile pred . dropWhile (not . pred)

与 span 和 break 函数密切相关，如您所见：

span  :: (a -> Bool) -> [a] -> ([a], [a]) 

break :: (a -> Bool) -> [a] -> ([a], [a])       

让我们看一些示例：

> span (< 3) [1,2,3,4,1,2,3,4]
([1,2],[3,4,1,2,3,4])

> break (< 3) [1,2,3,4,1,2,3,4]
([],[1,2,3,4,1,2,3,4])

以及您的函数：

> f (< 3) [1,2,3,4,1,2,3,4]
[1,2]

现在，我们有一个与 相关的定律>span 到 takeWhile 和 dropWhile，

span p xs 相当于
(takeWhile p xs, dropWhile p xs)

因此我们可能会将您的函数视为 span 和 的一部分>break 函数组。它还与词法分析有关，您可以在词法分析中收集一些与谓词匹配的标记。

因此，您可以将此函数称为 gather 或 lex 或类似的名称。