Haskell 中 Pointfree 风格的元素数量

Question

我想定义一个函数来计算列表中满足给定谓词的元素数量：

  number_of_elements :: (a -> Bool) -> [a] -> Int
  number_of_elements f xs = length (filter f xs)

例如：

  number_of_elements (==2) [2,1,54,1,2]

应该返回2。

我们可以写得更短：

  number_of_elements f = length . filter f

是否可以不带 f 参数来写？

Answer 1

当然是：

number_of_elements = (length .) . filter

Answer 2

我认为您的建议不会比您的建议更具可读性。然而，只是为了好玩，你可以这样做：

numberOfElements = (.) (.) (.) length filter

或者

(.:) = (.) . (.)
numberOfElements = length .: filter

Answer 3

您可能想了解语义编辑器组合器。从那里获取 result 组合器：

result :: (output -> output') -> (input -> output) -> (input -> output')
result = (.)

result 组合器获取一个函数并将其应用于另一个函数的结果。现在，看看我们拥有的函数：

filter :: (a -> Bool) -> [a] -> [a]
length :: [a] -> Int

现在，length 适用于 [a] 的；它恰好是 foo :: [a] ->; 形式的函数的结果类型。 [a]。所以，

result length :: ([a] -> [a]) -> ([a] -> Int)

但是 filter 的结果正是一个 [a] -> [a] 函数，因此我们要将 结果长度 应用于 filter 的结果：

number_of_elements = result (result length) filter