пишущий фильтр с помощью одного вызова foldr?

Question

Цель состоит в том, чтобы написать функцию фильтра только с одним вызовом foldr без рекурсии или любых других процедур более высокого порядка (map, andmap, apply и т. Д.).

В настоящее время я использую

(define (filter ps xs) 
    (if (empty? xs) 
     ps 
     (foldr (lambda (p y) 
       (if (andmap p xs) 
        (cons p y) 
        y)) 
       '() 
       ps))) 

однако он использует andmap функцию, которая рассматривается процедура высшего порядка

Цель должна иметь

(filter positive? '(-1 2 3 4 -5 -6)) 
=> '(2 3 4) 

с одним вызовом foldr

Answer 1

Я думаю, вы не понимаете, как foldr работает, вы должны передать список для обработки в качестве последнего параметра и для применения фильтра примените ps к каждому элементу, который вы хотите проверить. Лучше попробовать что-то вроде этого:

(define (filter ps xs) 
    (foldr (lambda (p y) 
      (if (ps p) 
       (cons p y) 
       y)) 
     '() 
     xs)) 

Он работает, как ожидалось:

(filter positive? '(-1 2 3 4 -5 -6)) 
=> '(2 3 4) 

Answer 2

Это звучит как домашнее задание. Я могу понять, почему foldr был выбран, но ради видя это реализовано с foldl здесь вы идете

(define (filter f xs) 
    (reverse (foldl (λ (x ys) (if (f x) (cons x ys) ys)) 
        null 
        xs))) 

(filter positive? '(-1 2 3 4 -5 -6)) 
;=> '(2 3 4) 

foldl имеет явное преимущество перед foldr в том, что она осуществляется с соответствующим хвостового вызова.