Re: Replacement for Common Lisp's GENSYM in Emacs Lisp

[Stefan Monnier <monnier@iro.umontreal.ca>]

> This is actually a non-trivial problem.  Best approach would probably be
> to do something similar to how they generate universally unique IDs.

The best approach often is to not use "unique symbols" at all.  A common
technique is to rely on lexical scoping to precisely control which
variables are visible to each part of a macro's argument during its
evaluation.  E.g.:

  (defmacro dotimes (xl e)
    (let ((x (car xl))
          (l (cadr xl)))
      `(let ((body (lambda (,x) ,e))
             (list ,l))
         (while (consp list)
           (funcall body (car list))
           (setq list (cdr list))))))

Notice how the expressions `l' and `e' are evaluated in a context where
neither of `body', nor `list' exist.  No need for gensym.

Of course Elisp's lack of good support for lexical scoping makes such
a technique impractical.  But `make-symbol' can be used instead of
`gensym' and works very well for that purpose.


        Stefan