haskell - foldr の代わりに foldl を使用してフィルターを実装することは可能ですか?

Question

foldr の代わりに foldl を使用してフィルターを実装することは可能ですか? もしそうなら、あなたの実装を穏やかに説明してください。

Answer 1

差分リストの使用:

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

Answer 2

これを思いついた：

myFilter p coll =
  foldl step [] coll where 
    step acc e  
      | p e = acc ++ [e] 
      | otherwise = acc

リストの最後に 1 つの要素を挿入する必要があるため、あまり効率的ではありません。