Jak cofnąć deklarację `declaration`?

Question

Wygląda na to, że większość (jeśli nie wszystkie) globalne declarations nie może być odwrócone w standardowy sposób ANSI CL.

przykład raz ocenić (bezpośrednio lub poprzez wczytanie pliku) formularz jak (proclaim '(declaration my-decl)) lub (declaim (special *my-var*)) nie ma przenośny sposób, aby (declare (my-decl ...)) nielegalnych lub *my-var* leksykalny.

Różne implementacje oferują niemobilny sposób przywrócenia deklaracji special, zwykle poprzez (proclaim '(notspecial *my-var*)) lub inną sztuczkę.

Co powiecie na declarationproclamation?

W jaki sposób różne implementacje można cofnąć? Jak mógłbyś to wdrożyć? Czy uważasz, że (proclaim '(notdeclaration my-decl)) to dobry pomysł?

Motywacja: w zestaw testów, byłoby miło być modułowy - aby móc przywrócić wszystkie skutki sprawozdania z badań, aby uniknąć ewentualnych zakłóceń w części zestawu testowego. Wiem, że to motywacja na tydzień, ponieważ The Right Way to użycie packages.

Answer 1

Jednym ze sposobów jest zapewnienie mechanizmu transakcji (wycofanie/zatwierdzenie). To jest wzięte z Xach za Naggum za archive:

Tęsknię siłownia transakcji, gdzie mogę zrobić szereg zmian
do systemu, które są widoczne tylko do mojego wątku o
środowiska wykonawczego wielowątkowych, a następnie odrzucić je lub zatwierdzić je wszystkie raz pod numerem
. Np. Ładowanie pliku może być taką transkacją. Sygnalizacja
błąd podczas ładowania może spowodować cały obrót operacji, który poprzednio został odrzucony zamiast pozostawienia systemu w częściowo zmodyfikowanym stanie. Nie jest to możliwe do zbudowania na istniejącym systemie, ale wymaga to dużego wysiłku, więc jest to coś, co powinni zrobić programiści systemów Common Lisp.

Będziesz przegap możliwość cofnąć tylko podzbiór deklaracji, jak (declare A), (declare B), (undeclare A) ale biorąc pod uwagę motywację, to nie byłoby problemu, ponieważ jest prawdopodobne, aby chciał cofnąć wszystkie możliwe oświadczenia złożone w czasie Badanie.

Możesz dostarczyć specjalny formularz do indywidualnych zgłoszeń "undeclare". Nazwałbym to wycofać, ale może to być trudne do określenia w niektórych przypadkach. Załóżmy, że deklarujesz, że x jest ciągiem lub liczbą, czy możesz wycofać deklarację, która mówi, że x jest ciągiem znaków? A co z funkcjami wbudowanymi, itp.? Transakcja wygląda na łatwiejszą do wdrożenia, np. tymczasowe środowisko.