Co może pójść nie tak, kiedy definiuję makro i po prostu używam wystarczająco rzadkiej nazwy dla zmiennej tymczasowej?

Question

Let Over Lambda Chapter 3 Section 'Unwanted Capture' mówi:..

„Na pewno możemy myśleć o tyle rzadkich imion tak, że problem nie pokazuje się tak, w wielu przypadkach, pakietów i inteligentnego zmiennego nazewnictwa może rozwiązać problem zmiennej wychwytywania Jednak najpoważniejszym zmienna wychwytywania błędów nie wynikają bezpośrednio w kodzie stworzony przez programistę. Większość problemów zmienna przechwytywania powierzchniowe tylko gdy inne makra użyć makra (połączyć ze swoją makro) w taki sposób, że nie przewidujemy. "

a następnie nie daje mi przykładu na odważną część. Jaki byłby jeden z takich przykładów? Wyobraź sobie hipotetyczny zespół Lisp dev, w którym jego szalony szef zakazał używania gensymu lub czegokolwiek, co tworzy niezamieszkane symbole, a programiści po prostu uciekają się do rzucania alfanumerycznymi kostkami, aby wymyślić losowe nazwy zmiennych, takie jak temp-27s63f8sk2n lub sum-3t84hj4df za każdym razem, gdy tęsknią za gensym. Jaki byłby przykład, kiedy drużyna będzie miała kłopoty?

Mówiąc o tym, Emacs 24.3.1 definiuje kropki i dolistkę bez użycia nieopisanych symboli. Dziwne.

Answer 1

Problem pojawia się, gdy ponownie używasz własnego makra w innym kontekście, a sprytnie zmienne ze spacjami są efektywnie wtedy zbędne, ponieważ wszystkie są w tej samej przestrzeni nazw.

mogę myśleć przykład będącego przy użyciu zamknięcie, które uzyskuje dostęp do zmiennej w otaczającej (let), lecz przeszedł do makra, które również wykorzystuje się otaczającą (let) definiowania zmiennej „bezpieczne” z nazwą starcia. To wymyślny przykład, przepraszam, nie mogę teraz myśleć o prawdziwym świecie.

(defmacro my/a (x) 
    (let ((my/safe-name x)) 
    `(progn ,(my/b (lambda() my/safe-name)) 
      ,my/safe-name))) 

(defmacro my/b (f) 
    `(let ((my/safe-name 4)) 
    (when (evenp (funcall ,f)) 
     (print "F is even!")))) 

(my/a 3) ; will print "F is even", but it shouldn't 

Answer 2

OK, to proponuję zautomatyzować proces "rzucania kostkami alfanumerycznymi". Oczywiście nie musi to być losowe, wystarczy użyć licznika. Dodatkowo byłoby miło móc określić prefiks do debugowania. Och, czekaj, to jest dokładnie to, co robi gensym.