Well, note that foldr takes a function of x, which produces a function of xs.  This function of xs either conses x onto it, or leaves it unchanged.  We can write this down explicitly by removing the xs parameter and just writing what function should be produced:

filter f = foldr (\x -> if (f x) then (x:) else id) []

-Brent