(defmacro for
  ((param-name start-value end-value &optional (step1 1)) &body body)
    (let* ((func-name (gensym))
           (comp (gensym))
           (comparison (if (< step1 0) '<= '>=))
           (start (gensym))
           (end (gensym))
           (step (gensym))
           (k (gensym)))
      `(let ((,start ,start-value)
             (,comp ,comparison)
             (,end ,end-value)
             (,step ,step1))
        (labels ((,func-name (,param-name ,k)
                   (if (,comp ,end ,param-name)
                       (progn (progn ,@body)
                         (,func-name (+ ,param-name ,step)
                                     (1+ ,k)) ) ,k)))
        (,func-name ,start 0)))))

Sorry man. I kinda fixed the issue. When I am trying to call macros, it return me error
; compilation unit finished

; Undefined functions:

; #:G1 #:G7

; Undefined variable:

; >=
I don’t know how to deal with bounding <= or >= to generated variable.

(defmacro for
  ((param-name start-value end-value &optional (step1 1)) &body body)
    (let* ((func-name (gensym))
           (comp (gensym))
           (comparison (if (< step1 0) '<= '>=))
           (start (gensym))
           (end (gensym))
           (step (gensym))
           (k (gensym)))
      `(let ((,start ,start-value)
             (,comp ,comparison)
             (,end ,end-value)
             (,step ,step1))
        (labels ((,func-name (,param-name ,k)
                   (if (,comparison ,end ,param-name)
                       (progn (progn ,@body)
                         (,func-name (+ ,param-name ,step)
                                     (1+ ,k)) ,k))))
        (,func-name ,start 1)))))

​

Do you know how can I close leak with comparison? When I am trying to bound comp to evaluated operator of comparison I receive error.

Do you know if it is possible to evaluate the value of body without entering a new variable?

Thanks man!

(defmacro for ((param start-value end-value &optional (step1 1)) &body body)
  (let* ((func-name (gensym))
         (start (gensym))
         (param-name (gensym))
         (comparison (if (< step1 0) '< '>))
         (end (gensym))
         (step (gensym))
         (k (gensym)))
    `(let ((,end ,end-value)
           (,step ,step1)
           (,start ,start-value))
      (labels ((,func-name (,param-name ,k)
                   (let ((new-exprs (progn ,@body))
                         (newK (+ 1 ,k)))
                     (if (,comparison ,end ,param-name)
                         (,func-name (+ ,param-name ,step) newK)
                         newK))))
         (,func-name ,param 0)))))

(let ((s 0))
(for (i 2 5)
(incf s (sin i)))
s)

I made some changes but when I try to call macros with parameter (i 2 5) compiler give me error about unbound variable i.

I need to implement for with these parameters.

The teacher said to do it this way. As I understand it, when using a macro, you need to refer to a parameter, for example (let ((s 0))

(for (i 2 N)

((inch s (sin i)))

s) Here it is necessary to refer to the modified sh. Therefore, it is passed to the recursive param-name call.

procedure