Veuillez refactoriser ma macro dans Scheme

Question

J'apprends l'hygiène et j'ai essayé de créer une boucle simple dans Scheme. Je veux soutenir trois types de constructions comme indiqué dans l'exemple ci-dessous

(for i = 1 : (< i 4) : (++ i)
  (printf "Multiplication Table for ~s\n" i)
  (for j = 1 to 5
    (printf "~s * ~s = ~s\n" i j (* i j))))

Je souhaite également prendre en charge les boucles avec des filtres tels que:

(for k = 1 : 10 : (list even? (λ(x) (> x 4))) : (++ k)
  (print k))

J'ai ceci mais je peux voir beaucoup de répétition. Aidez-moi à supprimer les licenciements, s'il vous plaît.

(define-syntax for
  (syntax-rules (= to :)
    [(for x = initial : final : conditions : increment body ...)
     (letrec ([loop (λ(x)
                      (when (<= x final)
                        (when (andmap (λ(condition) (condition x)) conditions)
                          body ...)
                        (loop increment)))])
       (loop initial))]
    [(for x = initial : condition : increment body ...)
     (letrec ([loop (λ(x)
                      (when condition
                        body ...
                        (loop increment)))])
       (loop initial))]
    [(for x = initial to n body)
     (for x = initial : (<= x n) : (+ x 1) body)]))

Answer 1

Je ne vois pas beaucoup de répétition ici. Juste un. Il peut être supprimé de cette façon:

(define-syntax for
  (syntax-rules (= to :)
    [(for x = initial : final : conditions : increment body ...)
     (for x = initial : (<= x final): increment
          (when (andmap (λ(condition) (condition x)) conditions)
            body ...))]
    [(for x = initial : condition : increment body ...)
     (letrec ([loop (λ(x)
                      (when condition
                        body ...
                        (loop increment)))])
       (loop initial))]
    [(for x = initial to n body)
     (for x = initial : (<= x n) : (+ x 1) body)]))