是否可以使用foldl而不是foldr来实现过滤器？

Question

是否可以使用foldl而不是foldr来实现过滤器？如果是这样,请轻轻解释您的实施.

Answer 1

使用差异列表:

filter' :: (a -> Bool) -> [a] -> [a]
filter' p xs = foldl (\k x -> if p x then k . (x:) else k) id xs []