scheme - Scheme言語のレキシカル対動的インタープリター

Question

動的インタプリタと語彙インタプリタの違いはまだわかりません。

私はスキームに取り組んでいますが、これらのような単純なコードが動的かつ字句的にどのように機能するかを知るのは非常に困難です。

(define mystery
  (let ((x 2018))
    (lambda (y)
      (let ((result (cons x y)))
         (set! x (+ x 1))
         result))))

ガイダンスはありますか？