haskell - 我的过滤器实现可以改进吗？

Question

《第一原理》中的 Haskell 练习要求使用 foldr 实现 filter，这就是我的想法，但感觉和看起来都很笨重。有没有更自然的方法来使用 foldr 来实现它？

import Data.Bool
myFilter :: (a -> Bool) -> [a] -> [a]
myFilter f = foldr (\x -> bool (++ []) ((:) x) (f x)) []

Answer 1

我只会使用 bool如果它让我通过编写对 bool 的调用来简单地摆脱 lambda 表达式与谓词 p :bool iffalse iftrue . p 。然而，p不是需要在列表元素上调用的唯一函数； (:)也是如此。您可以使用 Applicative函数实例，编写

myfilter p = foldr (bool id . (:) <*> p) []  -- yuck

但在这种情况下，我只会使用普通的 if表达式，在 lambda 表达式内:

myfilter p = foldr (\x -> if p x then (x:) else id) []  -- much clearer!

<小时/>

请注意，当专用于函数时，Applicative的(<*>)运算符定义为 f <*> g = \x -> f x (g x) 。我将其作为练习，使用该定义来转换 bool id . (:) <*> p进入 \x -> bool id (x:) (p x) .