Version 7 (modified by schiptsov, 5 years ago) ( diff )



see also Folds

(define foldr (lambda (f z xs)
                  (if (null? xs)
                      (f (car xs) (foldr f z (cdr xs))))))

in terms of constant-space foldl at the cost of extra reverse

(define (foldr f z xs)
    (foldl (flip f) z (reverse xs))))
foldr f z []      =  z
foldr f z (x:xs)  =  f x (foldr f z xs)
foldr(F, Z, [H|T])  ->  F(H, foldr(F, Z, T));
foldr(F, Z, []) when is_function(F, 2) ->  Z.
Note: See TracWiki for help on using the wiki.