Переменные, локальные относительно контекста

Gnu Emacs поддерживает Buffer-Local Variables, т.е. переменные, которые являются локальными относительного конкретного буфера, а в документации также указано, что в будущем возможно появление переменных, локальных относительно фрэйма или окна. Т.е. вырисовывается достаточно чёткая концепция переменных, локальных относительно некоторого контекста. Это находит применение в Gnu Emacs, но может оказаться полезным и для решения других задач, по крайней мере, я обратил внимание на Buffer-Local Variables уже после того, как сам пришёл к подобной идеи в процессе размышлений над структурой сервера приложений.

Реализация этой идеи на Common Lisp весьма тривиальна:

(defun make-preserve-context ()
  (make-hash-table))
 
(defun context-add-variable (context symbol)
  (setf (gethash symbol context)
        (symbol-value symbol)))
 
(defun context-remove-variable (context symbol)
  (remhash symbol context))
 
(defun context-symbol-value (context symbol)
  (gethash symbol context))
 
(defun (setf context-symbol-value) (newval context symbol)
  (setf (gethash symbol context)
        newval))
 
(defmacro with-context (context &body body)
  `(let ((cntx ,context))
     (if cntx
         (let ((symbols)
               (values))
           (iter (for (s v) in-hashtable cntx)
                 (push s symbols)
                 (push v values))
           (progv symbols values
             (unwind-protect
                  (progn ,@body)
               (iter (for s in symbols)
                     (setf (gethash s cntx)
                           (symbol-value s))))))
         (progn ,@body))))

Теперь можно создать "защищённый контекст", добавить в него несколько ранее объявленных глобальных переменных и изолировать с помощью макроса with-context код, оперирующий этими переменными, от остального мира.